lm:k-admissibility: fix induction

It will be better just on $k$ and not on the size of $T$
or this combination that was there.
lm:lower_bound_d (L21): re-design, including references to it