feat(archive/100-theorems-list): Stirling, part 2 (#14875)
feat(archive/100-theorems-list): Stirling
Part 2
- [x] depends on: #14874 [part 1]
Co-authored-by: fabian-kruse <fabian_kruse@gmx.de>
Co-authored-by: nick-kuhn <46423253+nick-kuhn@users.noreply.github.com>
Co-authored-by: Moritz Firsching <firsching@google.com>
Co-authored-by: nick-kuhn <46423253+nick-kuhn@users.noreply.github.com>
