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