Practice well founded induction, prove square root of 2 is irrational