IMHO, there is no need to use the formula

(it's just a formula for postive rays) to verify theorem 2.4 because the inequality depends not on a hypothesis but on the growth function.

It's enough to show that the LHS and RHS of the theorem inequality holds. You know growth functions for all the cases.