EDB — 0CP

Esercizi

1. [0CP] Prerequisiti:[20M]↺↻.
   Si ha che $\underset{n\ge N}{sup}{a}_n=𝜎\in \overline{ℝ}$ se e solo se

   $$\begin{array}{}\text{(1)}& & & \forall n\ge N,a_n\le 𝜎\text{e}\text{(2)}& & & \forall L<𝜎,\exists n\ge N,a_n>L\end{array}$$

   (notate che se $𝜎=\infty$ la prima è banalmente vera, mentre se $𝜎=-\infty$ quest’ultima è vera perché non vi sono $L$).
   Soluzione. [0CQ]↺↻$◻$