Go backward to Sequence QuantorGo up to TopGo forward to Monontonicity (Continued) |

*Definition:*
Let `f` be an infinite sequence over **R**. `f` is
*monotonically increasing* if every element of
`f` is less than or equal the next element:

fis monotonically increasing : <=>f:N->R/\foralliinN:f_{i}<=f_{i+1}.

`f` is
*strictly monotonically increasing*
if every element of
`f` is less than the next element:

fis strictly monotonically increasing : <=>f:N->R/\foralliinN:f_{i}<f_{i+1}.

Author: Wolfgang Schreiner

Last Modification: December 14, 1999