proof of irrationality of square root of 2 — latest news, discussion & facts — IJR