Classic proof. Prove that sqrt(2) is irrational