Множество возможных значений ключа в корне дерева имеет вид
![[a , b] [a , b]](https://dxdy-03.korotkov.co.uk/f/a/f/3/af3019b7a5f8d6f8760d253db688b29a82.png)
(докажите сами).
Задача сводится к поиску левой и правой границы этого диапазона. То есть: нужно взять максимально разбалансированное дерево из

элементов, вычислить число элементов с одной из сторон и вычесть что-то из

.
Вместо

нужно взять

округлённое вверх до ближайшего возможного числа узлов в максимально разбалансированном дереве.
Поправьте меня, если я в чём-то неправ.