Relationship between factorial, lcm and primorial
Relationship between factorial, lcm and primorial

Theorems showing that the primorial of  n is less than or equal to the least common multiple of the numbers 1...n (~prmorlelcms), which itself is less than or equal to the factorial of n (~lcmslefac).

AV's Mathbox: Bibliographic references adjusted

metamath/set.mm,metamath/set.mm,metamath/set.mm