Comment by taneq

> I imagine that one could also prove that √−1 is not rational

I feel like this was a marvellous joke but I can’t prove it.