MathCastle
Proof WritingHardExistence, Uniqueness and Counterexamples

Existence, Uniqueness and Counterexamples · Hard problem

Which pair of IRRATIONAL numbers a,ba, b has aba^b rational – proved constructively, with no case split?