0<x<pi/4 で x+0.5x^3>tan(x) を言うにはどうすればいいでしょうか