log n <= 2*n