円周率が3.25より小さいことを証明せよ