suppose obviously: thus

hence for all thus: i.e.

next we show that is (strictly) increasing: let be two real numbers and then for

some thus: so: i.e. is

(strictly) increasing.

now let and choose such that call this since is

increasing, by but thus:

call this now and give us: since is arbitrary,

we must have