Любая функция является своей точной асимптотической оценкой (как O-большое, так Ω-большое), поэтому в общем случае множество не пусто. Просто перечитайте аккуратно определение из книги на предыдущей странице. Там все константы положительные и все рассматриваемые функции асимптотически неотрицательные. Асимптотически положительная функция является асимптотически неотрицательной.
