>>214

(1/4Pi)=atan(1)の級数展開（おそろしく収束が遅いらしい）
(1/4Pi)=4*atan(1/5)-atan(1/239)の級数展開

が知られているようですね。（間違ってない？）

それを使っての証明は認められるかどうか知らないが、
展開を２項（あるいは４項？）ずつくくればすぐなの...

これなら Pi>3.05 もすぐ証明？...