an Entity in Data Space: dbkwik.org
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\).