The nonconstructive proof of that is simple and fun: either sqrt(2)^sqrt(2) or (...

		pfdietz on Jan 9, 2025 \| parent \| context \| favorite \| on: Rational or not? This basic math question took dec... The nonconstructive proof of that is simple and fun: either sqrt(2)^sqrt(2) or (sqrt(2)^sqrt(2))^sqrt(2) is just such an example.