定理　在实数系中，有界的单调数列必有极限。