Decomposing factorial of 300K as the product of 300K factors larger than 100K (via knl) — discussion
#lisp #math
