证明y=1-sinx+7cos3x是其定义域上的有界函数