What about the irrationality of $\sqrt{2}$, the non-triviality of which is witnessed by the fact that the philosophy of the school of Pythagoreans was based on the belief that such numbers do not exist. The proof, on the other hand, is a well-known elementary one.