Техническое определение гласит, что функция f(x) находится в зависимости «O большое» от функции g(x), если существует некоторая константа M, при которой абсолютное значение f(x) всегда меньше M×g(x) для всех достаточно больших значений x.