Prime Decomposition of Highly Composite Number

Theorem
Let $n$ be a highly composite number.

Let the prime decomposition of $n$ be expressed as:
 * $n = \displaystyle \prod_{k \mathop \in \N} {p_k}^{r_k}$

where $p_k$ denotes the $k$th prime.

Then the sequence $\left\langle{r_k}\right\rangle$ is decreasing.

That is:
 * $\forall k \in \N: r_k \ge r_{k + 1}$

Proof
Let $n = \displaystyle \prod_{k \mathop \in \N} {p_k}^{r_k}$ be highly composite.

By definition of $\tau$ function:
 * $\tau \left({n}\right) = \displaystyle \prod_{k \mathop \in \N} \left({r_k + 1}\right)$

$r_{l + 1} > r_l$ for some $l \in \N$.

Consider $m \in \Z$ whose prime decomposition of $n$ is expressed as:
 * $m = \displaystyle \prod_{k \mathop \in \N} {p_k}^{s_k}$

where:
 * $\forall j < l: s_j = r_j$
 * $\forall j > l + 1: s_j = r_j$
 * $s_l = r_{l + 1}$
 * $s_{l + 1} = r_l$

We have that:

Thus:
 * $\tau \left({m}\right) = \tau \left({n}\right)$

Now we have that:
 * $r_l < r_{l + 1}$

and so:
 * $s_l > s_{l + 1}$

and so:

Then:
 * $p_{l + 1} > p_l$

and so:
 * ${p_{l + 1} }^c > {p_l}^c$

from which it follows that:
 * $m < n$

while:
 * $\tau \left({m}\right) = \tau \left({n}\right)$

But $n$ is highly composite.

This means that if $\tau \left({m}\right) = \tau \left({n}\right)$, then $n \le m$.

This is contradicted by $n > m$.

Thus by Proof by Contradiction:
 * $\forall k \in \N: r_k \ge r_{k + 1}$