不用求导,证明f(x)=x3+3/x在零至正无穷上有最小值4