Paragraph
\(F\)
is non-decreasing
in-context