Собственно, почему всегда используется О большое? Приведу пример: при сортировке пузырьком выполняется n*(n-1)/2 шагов. Это можно оценить как O(n^2). Но ведь, насколько я понимаю, можно оценить это и как, например, O(n^5) - в соответствии с математическим определением О большого.
Почему используют О? А не тету или там эквивалентные функции (lim f/g = 1)