P
Initializing...
The busy beaver function dominates every computable function (Radó) · Prove2Me