Convergent Sequences and the Limit of Sequences

(Def. 2) There exists r such that for every y such that y ∈ dom f holds r < f (y). Let us consider s1. Let us observe that s1 is upper bounded if and only if: (Def. 3) There exists r such that for every n holds s1(n) < r. Let us observe that s1 is lower bounded if and only if: 1 The propositions (1) and (2) have been removed. 2 The proposition (5) has been removed. 3 The proposition (8) has been removed.