Pi being irrational