User blog comment:Ikosarakt1/Extensions of Catching function/@comment-1605058-20131119170629

If, for arbitrary m, g(m)<f(n+1) (subscript omitted), then, because g(m) reaches arbitrary values, f(n+1) would be undefined. I think correct relation is f(n)<g(n+1)<f(n+1).