(* ライプニッツの円周率級数 1 - 1/3 + 1/5 - 1/7 + 1/9 - 1/11 + ... = π/4 *)
f[n_] := 4/(4*n - 3) - 4/(4*n - 1)
Sum[f[k],{k,1,6}]
% // N
3.0584>3.05
Q.E.D.