Original
If {{MATH_1}}, then the function {{MATH_2}} has a local extremum at {{MATH_3}}.
{{CMD_4}}
Recall the function {{MATH_5}}. Since {{MATH_6}}, it follows that {{MATH_7}}, but {{MATH_8}} has no local extrema, it is increasing on {{MATH_9}}.
{{CMD_10}}