В документации redis говорится, что: «Сортированные наборы реализуются через двухпортовую структуру данных, содержащую как список пропусков, так и хеш-таблицу, поэтому каждый раз, когда мы добавляем элемент, Redis выполняет операцию O (log (N))». Как я могу доказать, что это может быть вычислено в порядке log (n)?