@ColinTheMathmo "is irrational" is a negative statement, so what would a direct proof look like?