3.1-7

$若存在f(n),使得f(n)\in o(g(n))\cap \omega (g(n)),则\exists n_1,n_2有$
$f(n)< \frac12g(n)(n\geq n_1),f(n)> g(n)(n\geq n_2)$
注意：第二版教材用的仍是$\geq,\leq$，但第三版已经不取等号
$令n_0=max(n_1,n_2),则当n\geq n_0时，有g(n)<f(n)<\frac12g(n)成立$
矛盾，故不存在这样的$f(n)$