已知对任意,都有  (为常数)并且当时,
⑴ 求证:是R上的减函数；
⑵ 若, 解关于m的不等式。