x+2 >= 2^x