>>200
コレ好き(*･ω･)

(0,5),(3,4),(4,3),(5,0)
は全て半径 5
の円 x2+y2=25
の周上の点である。よって，これら 4
点を結ぶ折れ線の長さの四倍は円周の長さより小さい。

よって，4(10￣￣￣√+2￣√+10￣￣￣√)<10π

左辺を計算すると，30.955…
となるので円周率が 3.05
より大きいことが証明された