Как доказать или опровергнуть
Воспользоваться определением:
2^(n+1)=O(2^N) означает, что найдётся x0 и M, такие, что для любого x > x0, 2^(x+1) < M * 2^x. Деля обе части на положительное 2^x получаем 2 < M. Т.е. оно справедливо для любого x0 и M > 2.