>>616
ん？
ではこれはどうだ？

円周率は3.05より大きいことを証明せよ。