Upper bound in linear mode is available (`SortedRange` at least gives you a constant factor of 2 in the average case for uniformly distributed inputs).