Una cota superior asintótica es una función que sirve de cota inferior de otra función cuando el argumento tiende a infinito.

Usualmente se denota Ω(g(n)) para referirse a las funciones acotadas superiormente por la funcion g(n).

Formalmente se define de la siguiente manera:

Ω(g(n)) = { f(n) : existen c, m > 0 tales que para toda n > m : 0 <=  c*g(n) <= f(n) }