化成x/y>1+ln(x/y)
因为x/y>0
设x/y=e^t,t为实数
证明e^t>1+t
要用导数,设函数f(t)=e^t-1-t
f'(t)=e^t-1
当t>0时f'(t)>0,f(t)递增,f(t)>f(0)=0
当t