Leibniz formula for π