ΛΥΣΗ
Έστω f συνεχής, τότε ισχύει το θεώρημα μέγιστης τιμής
Δηλ. υπάρχει
 )
ώστε
 = M (max_f) )
. Τα άκρα αποκλειόνται να αποτελούν θέσεις μεγίστων από την αρχική συνθήκη.
Τότε όμως

για κάποιο
 )
(με απόδειξη), οπότε και
 < f(y) )
, άτοπο.
Άρα η f δεν είναι συνεχής.
ΛΥΣΗ 2 (?)
Είναι
 < f(\frac{1}{3}) )
.
Από τη 2η συνθήκη έχουμε ισοδύναμα
 < f(\sqrt{x}), x \in (0,1) )
.
Έχουμε επαγωγικά
 < f(\frac{1}{\sqrt{3}}) < ... < f(\frac{1}{\sqrt[2^n]{3}}), n \in \mathbb{N*} )
.
Θεωρούμε την ακολουθία

η οποία συγκλίνει στο 1.
Οπότε για n αρκετά μεγάλο θεωρούμε

οπότε
και
 = f(1) < f(\frac{1}{3}) )
, αν η f ήταν συνεχής, το οποίο είναι άτοπο. Άρα η f δεν είναι συνεχής.