# Category:Highly Composite Numbers

This category contains results about Highly Composite Numbers.
Definitions specific to this category can be found in Definitions/Highly Composite Numbers.

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

Then $n$ is highly composite if and only if:

$\forall m \in \Z_{>0}, m < n: \map \tau m < \map \tau n$

where $\map \tau n$ is the $\tau$ function of $n$.

## Subcategories

This category has the following 2 subcategories, out of 2 total.

## Pages in category "Highly Composite Numbers"

The following 5 pages are in this category, out of 5 total.