[0K5] Prerequisiti:[06V]↺↻.Sia J un insieme diretto ma non filtrante; allora sia m∈J il suo massimo (che esiste per quanto visto in [06V]↺↻); se definiamo limj∈Jφ(x) come in [0K4]↺↻, mostrate che il limite esiste sempre e vale φ(m).
