έχω λοιπόν την εξής απορία
Έχουμε και λέμε

Να βρω εδω τα supremum και τα infimum
και λέω
Έστω

Άν τώρα

Άτοπο γιατι το συνολο των φυσικων αριθμων δεν ειναι ανω φραγμενο
αρκεί τώρα το

που ισχύει
για το ιnfimum εγώ βλέπω προφάνες το 0 έστω οτι εχει
και στο τέλος καταλήγω
όμως χάνεται η περιπτωση
άρα 
Βλέπω οτι απο την μια πάω να κάνω κατι και από την άλλη το κάνω μπακαλίστικα....
Τι πρέπει να λέω

και 
αν
είναι άνω φράγμα του
και
ένα άνω φράγμα του 
, τότε πολλαπλσιάζοντας κατά μέλη τις
και
,
απ'οπου έπεται ότι
.
για κάθε
.
. Τότε
και
με
, άτοπο. Άρα,
.
αν
είναι κάτω φράγμα του
ένα κάτω φράγμα του
.
και
απ'οπου έπεται ότι
, κι άρα
για κάθε
για κάθε
έχουμε ότι
, όπως θέλουμε να δείξουμε. Άρα,
.
ανήκει στο Β, οπότε από την υπόθεση για το
...εκεί είναι το άτοπο.
από την υπόθεση για το
αν
, (αντίστοιχα
).
. Θέλουμε να δείξουμε ότι
(αντίστοιχα,
, που προφανώς ισχύει αφού
(αντίστοιχα,
.
(αντίστοιχα,
).
από το σύνολο Α που να ισχύει οτι (m')>x και απλα τυχαίνει το x=0=infA??????????????????
.
αφού
για κάθε
. Πράγματι, αν
, τότε για οποιοδήποτε ακέραιο
ισχύει
, άτοπο, από την επιλογή του
.