函数有界性与收敛