Fuente- https://en.wikipedia.org/wiki/Big_O_notation
¿Es correcta la parte resaltada en rojo?
$\forall$$ n_0 $ $ \existe $$n>n_0$
Debería ser lo contrario (para todos y para algunos debería intercambiarse). Por favor, aclare si me estoy equivocando.