π>3.05

の式を定積分使って証明して