RE: Irationality of root 2