g(n) が漸近的に正であるような関数であれば、

f(n) = ω(g(n))

⇔

lim f(n) / g(n) = ∞

ではないでしょうか？

「if the limit exists」などと書いてある理由が分かりません。