On: Euclid's Proof that √2 is Irrational

[tines]

True, but the FTA proof is just really intuitive for me and I like it.

[Hackbraten → tines]

Thanks for the proof, it was fun to follow, and I agree that it's quite intuitive.

I think that it would be helpful to mention why sqrt(y) must be an integer.

(I know that it is, but it also feels a bit glossed over, given that all the other steps of the proof were explained so thoroughly.)