That turns out not to be the case. Binary search doesn't help, binary doubling doesn't help, even though these are often thought to be the best. Indeed, the solution given on this site used binary doubling and claimed it to be optimal. It was wrong. It was posted here some time ago.
The solution, once found, is simple to prove optimal, but most people don't seem to know how to do that.
The solution, once found, is simple to prove optimal, but most people don't seem to know how to do that.
Most people don't find it.