Background Rayo's function is a googological (extremely fast growing) function. It grows faster than the busy beaver function and runs on first order set theory. I want to be able to calculate Rayo's function, which is defined as "Rayo(n) is the smallest positive integer bigger than any finite p...