函数有界性证明
如何证明(1)y=1-sinx+7cos3x
(2)y=(arctanx)/(1+x^2)
的有界性?