I'll discuss the major ideas (which turn out to be simple) and ingredients of the proof of non-amenability of R.Thompson's group F. I'll briefly review the definitions of amenability and the definition of Thompson's group F. Besides these basic definitions, no background in the theory of amenable group will be needed; and no prior knowledge of R.Thompson's group F will be assumed.