点火公式的名称来源于公式中出现的“7,6,5,4,3,2…”等倒计时形式，这便于人们记忆和识别。这个公式是关于圆周率的无穷乘积的公式，由于Wallis（华里士）公式中只有乘除运算，没有开方，形式上十分简单，因此深受欢迎。
