3 ms·
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.
by pfdietz 2y ago
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.