Sounds a bit like Yudkowsky's number[1] (your main step is the first one, everything else is salad), which is a computable version of Rayo's number[2])
So, they are all going to be take large value and use it to boost some other function m(x). I just happen to pick a large f(x).