Definition:Highly Composite Number

Definition
Let $m \in \Z_{>0}$ be a positive integer.

A positive integer $n$ is a highly composite number it is the smallest positive integer to have $m$ divisors or more.

That is, if $n$ is the smallest positive integer such that $\tau \left({n}\right) \ge m$.