x + 3^x < 4