pub fn upper_bound( range: Range<usize>, prop: &dyn Fn(usize) -> bool, ) -> Option<usize>
Returns the largest index on [l, r) satisfying the condition.