4 ≤ 2^x – 1