求证：在区间（1,+无穷）上,函数f(x)=1/2x^2+lnx的图像总在函数g(x)=2/3x^3的下方要详细的过程_数学解答

g(x)-f(x)
=(2/3)x^3-(1/2)x^2-lnx
求导后得
=2x^2-x-(1/x)
=x(2x-1)-(1/x)
因为范围是(1,+无穷),所以2x-1>1,x>1,所以x(2x-1)>1,又因为(1/x)<1,所以这个导数>0,所以g(x)-f(x)单调增.
g(1)-f(1)=2/3-1/2>0
所以在(1,+无穷),f(x)