an Entity in Data Space: 134.155.108.49:8890
The expostfacto function is a function invented by Tom Kreitzberg defined as \(\mathrm{expostfacto}(n) = n^{\mathrm{expostfacto}(n-1)!}\), where \(\mathrm{expostfacto}(1) = 1\).