Ми говоримо, що оцінка складності алгоритму якщо при g > 0 при n > 0 існують додатні с1, с2, n0, такі, що: при n > n0, інакше кажучи, можна знайти такі с1 і c2, що при достатньо великих n f(n) буде знаходитись між і . У такому випадку говорять ще, що функція g(n) є асимптотично точною оцінкою функції f(n), так як за визначенням функція f(n) не відрізняється від функції g(n) з точністю до постійного множника. Наприклад, для методу сортування heapsort оцінка трудомісткості становить то є Із випливає, що . Важливо розуміти, що представляє собою не функцію, а безліч функцій, що описують зростання з точністю до постійного множника.