Theorem
5.3.12
.
\(F\)
is non-decreasing
Proof
.
in-context