The problem of finding the sum for formula_43 is called the Basel problem; Leonhard Euler showed it is formula_44. The value of the sum for formula_45 is called Apéry's constant, since Roger Apéry proved that it is an irrational number.