单调有界定理适用于函数吗