is_sorted and is_sorted_until algorithms

Right. That's how you get an end iterator if all you have is a begin iterator and a sentinel. And sometimes it's O(N).