习题 7, 附录 0

令$f$为具有$n$项的定义序列的(H)函数。证明如果对于每个$\beta > 0$和每个$\alpha$都有$e_p((l_{q+1}(x))^\beta) \ll f(x) \ll e_p((l_q(x))^\alpha)$（或$e_p((l_q(x))^\beta) \ll f(x) \ll e_{p+1}((l_q(x))^\alpha)$），使得$0 < \alpha < 1$，则必然有$p + q + l < n$（通过$n$上的归纳论证，使用类似于 exerc.1 的方法） (V、p. 263) 和 4 (V、p. 264))。