MikkW comments on MikkW’s Shortform

[MikkW]

Thanks. The function I am describing can be derived from the covering number function, but is also distinct.