User blog comment:Boboris02/MBOT/@comment-30167082-20161218101337/@comment-30118230-20161218125422

When it says \(\Lefrightarrow k\Lefrightarrow m\) means the largest m for the set k.

So it doesn't mean just m for a random k,it means the largest possible m for the set k.