円周率が3.1以上であることを証明せよ。