EDB — 277

Esercizi

1. [277]Prerequisiti:[276]↺↻,[26H]↺↻.Usando le proprietà in [26H]↺↻ e assumendo che $\le$ sia una relazione d’ordine totale (come effettivamente dimostreremo), mostrate che

   $$\forall n,m\in \mathbb{N},(n<m)\Rightarrow (Sn<Sm).$$
   Soluzione 1

   [278]↺↻