示：这个等式可以用一个较为简单的方式严格证明。
π的BBP位抽取算法.这个公式给出一个抽取π的十六进制位数值的算法。首先我们需要将这个公式化为：在使用此公式实现一个spigot算法之前，还需做一些改动。我们想要找出π在十六进制下的第"n"位，所以首先我们需要将该求和序列拆为n之前和n之后两部分。对于前述公式的第一项而言，我们再将等式两边乘以16，使得小数点恰好落在第"n"位。由于我们关心的是小数部分，我们观察这个式子的两项，会发现仅有第一项能够出现整数部分，而第二项