的「数学游戏」专栏将此数刊登出来，1980年被金氏世界纪录订为在正式数学证明中出现过最大的数。
问题背景.葛立恆数与拉姆齐理论有关：考虑一个formula_1维的超立方体，在连结所有顶点后，将形成一个formula_2个顶点的完全图。将这个图的每条边填上红色或蓝色。求formula_1的最小值，才使得所有填法中都必定存在一个在同一平面上有四个顶点的单色完全子图。在1971年Graham与Rothschild证明了此题之解formula_4的上下界为formula_5，其中for