Smarandache函数是卢卡斯(1883)、纽伯格首先考虑的函数(1887)和坎普纳(1918),后来斯马兰达什(1980)发现给出给定值的最小值在其中(即。,划分 阶乘的). 例如,数字8不除,,,但确实存在分歧,所以.
对于,2, ...,由1、2、3、4、5、3、7、4、6、5、11。。。(组织环境信息系统A002034号),值得注意的是,斯隆定义了,而Ashbacher(1995)和Russo(2000,第4页)拿.增量最大值是1、2、3、4、5、7、11、13、17、19、23、29。。。(组织环境信息系统A046022号),发生在以下值.增量最小值属于相对于是=1,1/2,1/3,1/4,1/6,1/8,1/12,3/40,1/15,1/16,1/24,1/30。。。(组织环境信息系统A094404号和A094372号),发生在, 6, 12, 20, 24, 40, 60, 80, 90, 112, 120, 180, ... (组织环境信息系统A094371号).
存在可立即计算的公式对于特殊形式的最简单的情况是
哪里是质数,是不同的素数,、和(坎普纳1918)。此外,
|
(6)
|
如果是第个即使完全数和是相应的梅森首要的(阿什巴赫1997;鲁伊斯1999a)。最后,如果是质数,并且一个整数,那么
|
(7)
|
(Ruiz 1999b)。
这个案子对于更复杂,但可以根据Kempner(1918)的算法进行计算。收件人开始,定义递归地由
|
(8)
|
具有.这可以用封闭形式解决
|
(9)
|
现在找到这样的话,由给出
|
(10)
|
哪里是楼层功能。现在计算序列和根据欧几里德算法-像程序
即直到剩下的时间.在每个步骤中,是整数部分属于和是余数。例如,在第一步中,和.然后
|
(16)
|
(坎普纳1918)。
的价值一般情况下然后由给出
|
(17)
|
(坎普纳1918)。
对于所有人
|
(18)
|
哪里是最大素因子属于.
可以通过查找并测试是否划分如果是,那么如果没有,那么并且必须使用Kempner的算法。套装属于为此(即。,不可分割)具有Erdős(1991)提出并经Kastanas(1994)证明的密度为零,但对于小的,有相当多的值用于前几位是4、8、9、12、16、,18, 24, 25, 27, 32, 36, 45, 48, 49, 50, ... (组织环境信息系统A057109号).出租表示正整数的数量这样的话,Akbik(1999)随后表明
|
(19)
|
随后,福特(1999)和德科宁克(De Koninck)和多扬(Doyon)(2003)对此进行了改进,遗憾的是,前者是不正确的。Ford(1999)提出了渐近公式
|
(20)
|
哪里是迪克曼函数,通过隐式定义
|
(21)
|
常数需要修正(Ivić2003)。Ivić(2003)随后表明
|
(22)
|
就基本函数而言,
|
(23)
|
Tutescu(1996)推测两个连续参数的值永远不会相同,即。,对于任何.这至少可以支持(Weisstein,2004年3月3日)。
的多个值可以具有相同的值,如下表所示.
| 这样的话 |
1 | 1 |
2 | 2 |
三 | 3, 6 |
4 | 4,8, 12, 24 |
5 | 5, 10,15, 20, 30, 40, 60, 120 |
6 | 9,16, 18, 36, 45, 48, 72, 80, 90, 144, 180, 240, 360, 720 |
让表示的最小逆,即最小的为此.然后由提供
|
(24)
|
哪里
|
(25)
|
(J.Sondow,pers.comm.,2005年1月17日),其中是最大素数因素属于和是楼层功能.对于, 2, ...,由1、2、3、4、5、9、7、32、27、25、11、243。。。(组织环境信息系统A046021号). 的一些值第一次只出现在非常大的情况下。递增最大值的序列是1、2、3、4、5、9、32、243、4096、59049、177147、134217728、,…(OEIS)A092233号),对应于, 2, 3, 4, 5, 6, 8, 12, 16, 24, 27, 32, ... (组织环境信息系统A092232号).
查找的编号为此注意,根据定义,是的除数但不是的。因此,要找到所有为此都有一个给定的值具有,取的所有除数集并省略的除数特别是属于为此对于确实是
|
(26)
|
哪里表示的除数,即除数函数 因此整数具有,2, ... 由1、1、2、4、8、14、30、36、64、110。。。(组织环境信息系统A038024型).
特别是,方程式(26)显示了逆Smarandache函数始终存在,因为有一个具有(因此是最小的a(n)),因为对于.
Sondow(2006)表明出乎意料地出现在非理性之中e(电子),并推测不等式等待几乎所有 ,其中“几乎所有人”的意思是除了一组密度为零。例外情况为2、3、6、8、12、15、20、24,30、36、40、45、48、60、72、80。。。(组织环境信息系统A122378号).
自几乎所有人(Erdős 1991,Kastanas 1994),其中是最大素数因素,一个等价的猜想是不等式几乎所有人都坚持例外情况为2、3、4、6、8、9、12、15、16、18、20、,24, 25, 27, 30, 32, 36, ... (组织环境信息系统A122380号).
D.Wilson指出,如果
|
(27)
|
是的力量首要的 在里面,其中是基数之和-的位数,那么接下来就是
|
(28)
|
其中最小值被素数 划分。当是最大素数因素属于.