设 为任意整数，且设 （也记作 ）为大于 1 的能整除 的最小整数，即分解式中的数
其中 对于 。 最小素因子在 Wolfram 语言中实现为FactorInteger[n][[1,1]].
对于 , 3, ...， 前几个是 2, 3, 2, 5, 2, 7, 2, 3, 2, 11, 2, 13, 2, 3, ... (OEIS A020639)。
如果 是合数，则 (Séroul 2000, p. 7)，当 为素数的平方时等号成立。
最小素因子函数的图类似于锯齿状的山地，这导致了将“双峰”的称谓赋予一对 整数 (x,y)，使得
1. ,
2. ,
3. 对于所有 ， 意味着 。
完全平方数的最小重素因子是 2, 2, 3, 2, 2, 3, 2, 2, 5, 3, 2, 2, 2, ... (OEIS A046027)。
Erdős 等人 (1993) 考虑了二项式系数的最小素因子，并定义了他们所谓的优良二项式系数和例外二项式系数。 他们还推测
更多尝试
韦斯坦因，埃里克·W. "最小素因子。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/LeastPrimeFactor.html
为任意整数，且设 
（也记作 
）为大于 1 的能整除 
的最小整数，即分解式中的数 
对于 
。 最小素因子在 Wolfram 语言中实现为FactorInteger[n][[1,1]].
, 3, ...， 前几个是 2, 3, 2, 5, 2, 7, 2, 3, 2, 11, 2, 13, 2, 3, ... (OEIS A020639)。
是合数，则 ![[lpf(n)]^2<=n](/images/equations/LeastPrimeFactor/Inline10.svg)
(Séroul 2000, p. 7)，当 
为素数的平方时等号成立。
,
,
， 
意味着 
。
