 In 1650 it was Mengoli who first posed the famous Basel problem, solved in 1735 by Leonhard Euler.Also in 1650 he proved that the sum of the alternating harmonic series is equal to the natural logarithm of 2.He also proved that the harmonic series does not converge, and provided a proof that Wallis' product for formula_1 is correct.