简洁的上下界。设 formula_62，则 formula_63（见复合函数），可以得到formula_64。证明：这里会使用到规则3和规则4：formula_65formula_70formula_73由于formula_79是严格递增函数，这给出了上下界。利用康威链式箭号表示法，很容易表示远远大于葛立恆数的数：其中formula_82远远大于formula_83，因此formula_84远远大于葛立恆数。