Оценка сложности алгоритмов, или Что такое О(log n)