Show that 1/√2 is an irrational.