User blog comment:Alejandro Magno/My -illion is bigger!/@comment-4297047-20140923011640/@comment-5029411-20140923115249

Let R(n) = H_1(n)

H_1(32)