solve 2^x > 2