TeX source:
5!=5\cdot4!