TeX source:
\frac{25!}{23!}