>>642
初等関数とかそういうのだよ

表せないことを証明しても、φが無理数だと証明したことになるから
たぶんフィールズ賞でしょ?