ルジャンドルの定理
$n!$ に含まれる素因数 $p$ の数は以下のように表される:
${\displaystyle \sum_{i=1}^{\infty}\Big\lfloor \dfrac{n}{p^i} \Big\rfloor}=\Big\lfloor \dfrac{n}{p} \Big\rfloor+\Big\lfloor \dfrac{n}{p^2} \Big\rfloor+\Big\lfloor \dfrac{n}{p^3} \Big\rfloor+\cdots$
ただし,ここで $\lfloor x \rfloor$ は $x$ を超えない最大の整数を表す。


Muirheadの不等式:
各成分が非負で非増加な数列 $a=(a_1, a_2,\cdots , a_n), b=(b_1, b_2,\cdots, b_n)$ と,任意の非負実数 $x_1, x_2, \cdots, x_n$ に対して,$[a]\succeq [b]$ ならば
$\displaystyle\sum_{sym}\prod_{i=1}^nx_i^{a_i}\geq\displaystyle\sum_{sym}\prod_{i=1}^nx_i^{b_i}\\$
等号成立条件は,$a=b$ または, $x_1=x_2=\cdots=x_n$