2n >= n + log(n)