One of my favorite elementary examples of proof by contradiction.

I like that a product of the first n smallest primes plus one is not necessarily prime. 
(e.g. 2*3*5*7*11*13+1=30031=59*509)

N has to be prime BECAUSE we have assumed that p_n is the largest prime.