>>358
円周率が無理数であることを証明させる問題は阪大入試の過去問にある。
この証明は三角関数の積分が計算できればそんなに難しくなく予備校レベル。