Поиск движущегося элемента с минимальной суммарной мощностью тестов

Рассматривается задача поиска движущегося элемента с минимальной суммарной мощностью тестов. В качестве пространства поиска рассматривается множество целых точек отрезка длины $n$. Доказывается, что суммарная мощность тестов асимптотически оптимальной адаптивной стратегии равна $n+2 \sqrt{n} $.