## BPM 1.4.2 (Sp 84)

Let for . We show that is monotonically increasing. First we rewrite . Taking derivatives, and doing some algebra, we get . We wish to show that everywhere. This would follow from . However, this follows from the convexity of . Which says that for all .

We compute . Taking we see that . We then have that . Since is monotonically increasing, and positive, we have that as . We compute . Applying concavity, we have for all . We then check that , where is by applying . It follows that .

leave a comment