π > 3.14を示せ
あらゆるリソースを用いてよい。
例：ライプニッツの公式（ライプニッツのこうしき、英語: Leibniz formula）とは円周率の値を求めるための公式の一つである

Wolfram Language 14.0.0 Engine for Microsoft Windows (64-bit)
Copyright 1988-2023 Wolfram Research, Inc.

In[1]:= Leibniz[m_]:= (
f[n_] := 4/(4*n - 3) - 4/(4*n - 1);
Sum[f[k],{k,1,m}]
)

In[2]:= N[Leibniz[313],10]
Out[2]= 3.139995211
In[3]:= N[Leibniz[314],10]
Out[3]= 3.140000298