Weak factorial

The weak factorial is a factorial-related function so-named by Cookie Fonster. It is equal to the least smallest number divisible by all numbers 1 through x. Pointless Large Number Stuff by Cookiefonster, entry on 420
Formally:
\(wf(x) = LCM(x, wf(x-1))\)
\(wf(1) = 1\)
The first ten weak factorial numbers are 1, 2, 6, 12, 60, 60, 420, 840, and 2,520,
It can be shown that value of this function increases only at arguments which are prime powers. Because of that, there will be long runs where the function is constant.
Related sequences appear in A003418List of weak factorial values in the On-Line Encyclopedia of Integer Sequences and A051451List of distinct weak factorial values in the On-Line Encyclopedia of Integer Sequences of OEIS.
== Specific numbers ==
*840 is an integer equal to the weak factorial of 8, and also the largest known in 12 dimensions.MathWorld, Kissing Number
==Sources==
== See also ==
Category:Functions
Category:Factorials