式是一个无穷级数，被称为莱布尼茨级数，这个级数收敛到formula_2。它通常也被称为格雷戈里-莱布尼茨级数用以纪念莱布尼茨同时代的天文学家兼数学家詹姆斯·格雷戈里。使用求和符号可记作：
证明.考虑下面的几何数列：对等式两边积分可得到反正切的幂级数：将"x" = 1 代入，便得莱布尼兹公式(1的反正切是π ⁄ 4)。这种推理产生的一个问题是1不在幂级数的收敛半径以内。因此，需要额外论证当"x" = 1时级数收敛到tan(1)。一种方法是利用交替级数判别法，然后使用阿贝尔定理