A small tip: if you want to do this trick, with an exponential F, you probably want a linear search rather than a binary search.
If your k << N then F(N/2) is going to eat up all of the running time of ΣF(i).
If your k << N then F(N/2) is going to eat up all of the running time of ΣF(i).
This is illustrated by the fact that there are more leaves in a complete binary tree than all the other nodes summed.