Trending Questions - proof of the irrationality of sqrt 2 and other surds 206796