En análisis de algoritmos una cota superior asintótica es una función que sirve de cota superior de otra función cuando el argumento tiende a infinito. Usualmente se utiliza la notación de Landau O(g) (o coloquialmente llamada Notación O Grande) para referirse a las funciones acotadas superiormente por la función g(x). Más formalmente se define: Una función f(x) pertenece a O(g) cuando existe una constante positiva c tal que a partir de un valor, f(x) no sobrepasa a .