>>634
f(x) = x - e*log x
とおいて微分してf(x) >= 0を示す