하이퍼 연산(Hyperoperation) H_n(a,b)(n, a, b는 0 또는 자연수, 결과값은 0 또는 자연수)는 다음과 같이 정의됩니다.

이렇게만 보면 어려워 보이지만, n이 1일 때는 a+b, n이 2일 때는 ab, n이 3일 때는 a^b가 결과가 됩니다.

한편, n-2개의 화살표를 쓰는 것으로 H_n(a,b)를 a↑^{n-2}b로 표기할 수 있으며 이를 커누스 윗화살표 표기법이라 합니다.

이제 예를 들어 보면, 3↑↑3=3↑(3↑↑2)=3↑(3↑(3↑↑1))=3^(3^3)=3^27=7625597484987이며,

3↑↑↑3은 3↑↑(7625597484987)... 어... 어음...

이제 3↑↑↑↑3=g1, 3↑^g1=g2, 3↑^g2=g3... 을 반복해서, g64에 도달하면, 이것이 아주 큰 수로 유명한 그레이엄 수입니다.

(채널을 살리려면 이렇게 짧은 글이라도 써야지...)