The requirement for the function object is not consistent with that of lower_bound, and the description for lower_bound seems to be more flexible and correct.
