n\geq 2^k