f(x)=(2的x次方减一分之一+二分之一)* x3,求证f(x)>0