问答题 利用不等式bn+1-an+1>an（b-a）（n+1），b>a>0，证明为递减数列，并由此推出为有界数列。

问答题 求函数f（x）=arcsin（cosx）的傅里叶级数展开式。

问答题 证明：若{an}为递增（递减）有界数列，则an=sup{an}（inf{an}）。又问逆命题是否成立？