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
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