Estimate pi with the Leibniz series