,Rayo(n)定义为"大于在一阶逻辑中用不超过n 个符号能表示
的任何数的最小正整数".而"大于在一阶逻辑中用不超过10100个符号能表示
的任何数的最小正整数",即Rayo(10100),称作Rayo数.
反正就是最大的数，太震惊了 增长速率都无法想象 如果可导的话 无穷次可导之后还是超越了所有函数的增长率，已发现的最大数值表示！