I don't think anyone mentioned Eisenstein's classic proof. [This presentation][1] of it is pretty good. I find it clear and attractive, especially because it sort of avoids Gauss' Lemma (which is a clever gadget but somehow off-putting). [1]: http://www.math.nmsu.edu/~history/eisenstein/eisenstein.html