Definition:Bounded Below Sequence/Real

Definition
Let $\left \langle {x_n} \right \rangle$ be a real sequence.

Then $\left \langle {x_n} \right \rangle$ is bounded below iff:
 * $\exists m \in \R: \forall i \in \N: m \preceq x_i$

Also see

 * Definition:Bounded Above Real Sequence
 * Definition:Bounded Real Sequence


 * Definition:Bounded Below Real-Valued Function, of which a bounded below real sequence is the special case where the domain of the real-valued function is $\N$.