Do binary search, pred(l) must be false, pred(r) must be true, and pred must have monotonic
Find maximum
Find minimum
Range that rotate elements.
See Source File