solve 40-9*2^x>20+2^(2-x) for x real