lm:lower_bound_d (L21): more detailed maximization step

Replace the "by using simple calculus" phrase by a "magical" sequence of
steps that proves the same thing (after discussion with Michal).