Και οι δύο αποδείξεις είναι προβληματικές.
dopfev έγραψε:

άρα και η αντίστροφη γνησίως αύξουσα.
Στο τρίτο

δεν αποδείχθηκε το βήμα. Ίσα-ίσα είναι ισοδύναμο με το αποδεικτέο γιατί για να πάμε από μία ανισότητα της μορφής

στην

(εδώ

) , είναι σαν να θεωρούμε ότι η

είναι γνήσια αύξουσα οπότε ισχύει
Δηλαδή η απόδειξη έχει ουσιαστικό κενό γιατί χρησιμοποιεί το αποδεικτέο.
Για την δεύτερη απόδειξη
dopfev έγραψε: 
.
το κενό είναι πιο σοβαρό: Η απόδειξη της μονοτονίας μιάς

απαιτεί
να υποθέσουμε 
και από αυτό τα δείξουμε

.
Η εν λόγω απόδειξη, όπου η

είναι η

, ούτε καν ξεκινά από την υπόθεση

. Οπότε η απόδειξη δεν λέει απολύτως τίποτα. Δεν είναι σωστή ούτε σε σύλληψη.
Για χάρη της πληρότητας, ας βάλω μία απόδειξη της ζητούμενης ιδιότητας παρόλο που είναι πολλή γνωστή:
Έστω

. Θέλουμε να δείξουμε ότι ισχύει

. Αν δεν ίσχυε αυτό τότε από την αρχή της τριχοτομίας της διάταξης θα ίσχυε

. Αλλά τότε, από το γεγονός ότι η

είναι γνήσια αύξουσα, θα είχαμε

, δηλαδή

. Αλλά αυτό αντιβαίνει στην υπόθεση

, και λοιπά.