通过网络和论坛介绍，葛立恒数是拉姆齐理论（Ramsey theory）中一个极其异乎寻常问题的上限解，是一个难以想象的巨型数。这个问题表述为：
连接n维超立方体的每对几何顶点，获得一个有着2^n个顶点的完全图（每对顶点之间都恰连有一条边的简单图）。将该图每条边的颜色填上红色或蓝色。那么，使所有填法在四个共面顶点上包含至少一个单色完全子图的最小n值为多少？
那请问各位大侠，有哪位大仙了解如何证明这个问题的上限解就是葛立恒数？葛立恒数如此巨大的无法理解，那证明过程或者证明思路是什么呢？