, τέτοια ώστε
για κάθε
.Συντονιστής: Μπάμπης Στεργίου
Αν υποθέσουμε ότι υπάρχειsocrates έγραψε:Να εξετάσετε αν υπάρχει συνάρτηση, τέτοια ώστε
για κάθε
.
με
από τη δοθείσα για
λαμβάνουμε 
προκύπτει
άρα
οπότε η αρχική για
δίνει
άτοπο.
για κάθε 
είναι 1-1.
δίνει 
και λαμβάνουμε
(*).
και έχουμε
δηλαδή λόγω της (*)
οπότε λόγω του 1-1 είναι
άτοπο.
παίρνουμε
και άρα
.
και λαμβάνοντας υπ' όψιν την
:
παίρνουμε

παίρνουμε 
και
παίρνουμε 
και λαμβάνοντας υπ' όψιν τις
παίρνουμε
.
τότε
σύμφωνα με την
και
. Τότε όμως
, άτοπο από την
.
τότε
. Αλλά από την
είναι
, άτοπο.


,και χρησιμοποιωντας την (1) παιρνουμε οτι 
και χρησιμοποιωντας τις (2),(4) παιρνουμε 

οδηγούμαστε σε αντίφαση.Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης