Es geht ja um das s mit
x ≤ s ≤ y für alle x ∈ X, y ∈ Y .
Ich denke, dass die Annahme s2 < 2 zum Widerspruch
geführt werden soll dadurch, dass es eine Zahl s+ε mit ε>0 gibt,
die etwas größer als s ist und immer noch in X liegt, also
dass deren Quadrat kleiner als 2 ist.
Das wäre dann ein Widerspruch, denn das s soll
ja größer oder gleich allen Zahlen sein, deren Quadrat kleiner
als 2 ist. Und der Hinweis bedeutet ja, dass dieses ε als
3s2−s2 gewählt werden kann. Das ist jedenfalls positiv
aus s2 < 2 und s>0 folgt das ja.
Ich habe mal versucht das nachzurechnen, also für welches ε
ist (s+ε )2 < 2
<=> s2 + 2sε + ε2 < 2
<=> 2sε + ε2 < 2 - s2
<=> ε * (2s + ε) < 2 - s2
<=> ε < ( 2 - s2 ) / (2s + ε) #
Nun genügt ja ein kleiner positives ε
also sicherlich eines, das kleiner als s/2 ist,
dann wäre 2s + ε also kleiner als 2,5s und mit
3s im Nenner habe ich den Nenner von # etwa
vergrößert und also einen Wert gewählt, der
kleiner als ( 2 - s2 ) / (2s + ε) ist.
Also ist ( s+ ( 2 - s2 ) / (3s) ) 2 < 2
und der Widerspruch gezeigt.
So ähnlich wird man wohl auch s2 < 2 zum
Widerspruch führen können, dass s2 = 2
übrig bleibt.