足下式之最小自然数"x"的上界的极大数字。，其中π表示素数计数函数，li则表示对数积分。经过数学家对这一上界的不断改进，目前发现在formula_2附近有满足上式的自然数，不过仍不清楚这是否是最小的斯奎斯数。
大小.约翰·恩瑟·李特尔伍德于1914年证明确实存在斯奎斯数，而且还进一步证明了formula_3和formula_4两个函数会交叉无数次，也就是有无穷个交叉点。然而不管代入什么数字，formula_3都小于formula_4，因此，可以知道x一定是比人们所能计算的数字都来