Go backward to ExampleGo up to TopGo forward to Supremum and Infimum |

*Definition:*
Let `f` be an infinite sequence over **R**.

`f` has
*upper bound*
`U`, if every element of `f` is less than or equal `U`:

Uis upper bound off: <=>f:N->R/\foralliinN:f_{i}<=U.

`f` has *lower
bound*
`L`, if every elem. of `f` is greater than or equal `L`:

Lis lower bound off: <=>f:N->R/\foralliinN:f_{i}>=L.

Author: Wolfgang Schreiner

Last Modification: December 14, 1999