[new] maximum n such that at least n elements >= n