Let f(z) be a transcendental meromorphic function, and let 0<δ< 1, if
lim—r→∞log T(r+1/r,f )/log T(r, f)<+∞,
then there exist an (n=1, 2, …), such that the set {a: ?1)(a, f)>δ} is a subset of
∩∞j=1∪∞n=j {a:|a-an|<e-enσ},
which means {a:Δ1)(a, f)>δ} is a set of finite μ-measure.