
MathCheck by adding more of the terms of the series that this solution meets the criterion. You will find that the terms diminish in size quickly because of the squared factorial term in the...

MathEuler's product formula states that `prod_(p quad "prime") 1/(1p^(s)) = sum_(k=1)^infty 1/k^s` So if we have that `sum_(k=1)^infty 1/k^2 = prod_(p quad "prime")1/(1p^(s))` for `s in...