函数有界是指既有上界又有下界，因此证明函数有界不能只考虑上界。至于问题所述，应该是单调有界定理证明数列有极限时，单调增加数列只需证明有上界，因为，单增数列第一项已经是数列的下界了，无需再证。