原不等式等价于x- e^x *√x> m
构造函数f(x)= x- e^x *√x (x>=0)
则有:f'(x)= 1- e^x *(√x + 1/√x)
由于x>=0,故e^x >=1,
由二元均值不等式可知:
√x + 1/√x >=2√(√x *1/√x)=2,
即f'(x)= 1- e^x *(√x + 1/√x)
原不等式等价于x- e^x *√x> m
构造函数f(x)= x- e^x *√x (x>=0)
则有:f'(x)= 1- e^x *(√x + 1/√x)
由于x>=0,故e^x >=1,
由二元均值不等式可知:
√x + 1/√x >=2√(√x *1/√x)=2,
即f'(x)= 1- e^x *(√x + 1/√x)