After an interesting conversation with somebody recently I was looking around and aggregating simple mathematical facts that have somewhat crazy proofs. Like for all such questions, I found a great MathOverflow thread and decided to share this gem from there:
Fact: ![\sqrt[n] {2}](https://s0.wp.com/latex.php?latex=%5Csqrt%5Bn%5D+%7B2%7D&bg=ffffff&fg=333333&s=0&c=20201002)
Proof: Suppose it is not. Then ![\displaystyle \sqrt[n] {2} = \frac{p}{q}](https://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Csqrt%5Bn%5D+%7B2%7D+%3D+%5Cfrac%7Bp%7D%7Bq%7D&bg=ffffff&fg=333333&s=0&c=20201002)
Although a commenter there mentions that the argument is essentially circular (which I find fascinating), but other than that it made me laugh, what I find interesting about this answer and an accompanying comment by Greg Kuperberg is that it made me realize that Fermat’s Last Theorem is not strong enough to imply the irrationality of 
Onionesque Reality 
Why not link directly to the answer? There are 56 answers in that thread!
I thought I did. A missed copy paste I guess.Thanks for pointing that out. Fixed.