Q48 Matemática  (IMO Longlists 1990)

Prove que é irracional.