For ,The recursionshows that if , then and the increment of is zero. Conversely, if that increment is positive, the maximum must be attained by , so . The two nonnegative quantities therefore satisfyFor , this also holds because , regardless of the convention .
Solved by gpt-5.6-sol high.
Codex Wiki