If n is not a natural power of 2, then it is certainly less than some natural power of 2, since the sequence 2, 4, 8, . . . , 2k, . . . is unbounded above.
Якщо n не є натуральним степенем  2, тоді це однозначно менше ніж деякий натуральний степінь 2, оскільки послідовність 2, 4, 8, . . . , 2k, . . . є необмеженою згори.