[0K5] Prerequisites:[06V]↺↻.Let \(J\) be a directed but non-filtering set; then let \(m∈ J\) be its maximum (which exists as seen in [06V]↺↻); if we define \(\lim _{j∈ J} φ(x)\) as in [0K4]↺↻, show that the limit always exists and it is \(φ(m)\).
