Exercise C.1.10
Show that for any and , the expression achieves its maximum value when or .
It's evident in Pascal's triangle, yet anyway. There are multipliers in the denominator of:
It's a question of minizing them. For , there would be pairs of the type . Those pairs are strictly greater than . They are minized when is or the nearest integer.
It's not bullet-proof, but it works.