# analysis

• Sep 3rd 2009, 12:31 PM
flower3
analysis
• Sep 3rd 2009, 12:44 PM
Plato
Quote:

Originally Posted by flower3

We may as well assume the sequence is not bounded above.
$\left( {\exists x_{n_1 } } \right)\left[ {x_{n_1 } > \max \left\{ {1,x_1 } \right\}} \right]$.
$\left( {\forall j > 1} \right)\left( {\exists x_{n_j } } \right)\left[ {x_{n_j } > \max \left\{ {j,x_{n_{j - 1} } } \right\}} \right]$.