>>Chancy+Pi2
Probably better than you. There is no such thing as a terminating number, and the article mentions "the shortest terminating program to produce the largest number whose output size exceeds Graham's number". Which should be an expression better than ack(9,9).
But since you can emit just inf, you don't need a turing machine/lambda calculus at all.