>>423
x(log(x)-log(y))≧x-y
⇔-log(y/x)≧1-y/x
⇔-logt≧1-t (t=y/x＞ 0)
⇔t-logt-1≧

f(t)=t-logt-1とするとf'(t)=1-1:/t=(t-1)/tよりt=1で極小かつ最小
∴f(t)≧f(1)=0