Re: [math-fun] Best proof that sqrt(2) is irrational?