που ικανοποιεί τις ιδιότητες:

Για κάθε
και για κάθε
ισχύει η συνεπαγωγή
Να αποδειχθεί ότι
κοντά στο
ΧΩΡΙΣ να χρησιμοποιηθεί καμία μορφή του αξιώματος επιλογής, είτε άμεσα, είτε έμμεσα μέσω θεωρημάτων των οποίων η απόδειξη βασίζεται σε αυτά.
ΣΗΜΕΙΩΣΗ
Τα παραπάνω όρια ορίζονται με το συνηθισμένο
ορισμό, ενώ το
είναι εφοδιασμένο με τη συνήθη ευκλείδεια τοπολογία.ΣΗΜΕΙΩΣΗ
Ας θυμηθούμε το ακόλουθο θεώρημα για το όριο της σύνθεσης συναρτήσεων.
Αν
και ισχύουν οι εξής τρεις συνθήκες:#1.

#2.

#3.
κοντά στο 
τότε

Το ζητούμενο της παρούσας ανάρτησης αφορά το γεγονός ότι
η ικανή πλην "ενοχλητική" συνθήκη #3. είναι απαραίτητο
να προστεθεί στις συνθήκες #1.,#2. εάν θέλουμε
το συμπέρασμα του θεωρήματος της σύνθεσης να αληθεύει χωρίς επιπλέον υποθέσεις για τη συνάρτηση

ΣΗΜΕΙΩΣΗ
Σχετικό και πιο ενδιαφέρον είναι το ακόλουθο:
viewtopic.php?f=67&t=77532