> Nun soll man beweisen, dass f in O(g) liegt.
Ja, das ist ein Widerspruch. Wenn f(x) / g(x) > c für hinreichend große x (wegen limx→∞ (f(x) / g(x)) = ∞), dann ist f(x) > c g(x) für hinreichend große x. Und dass widerspricht der Definition von f ∈ O(g).