Estimate pi with the Wallis product