\[\sum_{k=0}^{n-1}\genfrac{<}{>}{0.0pt}{}{n}{k}=n!,\]