User talk:Irrational pi