1+ t > 2^t, 0 < t < 1