提出

经核准的

编辑

提出

a（n）=最大k，这样A049820号（k）++A262509型（n） ）<=A262509型（n） ●●●●。

对于所有非零项a（n），A263083型（n） =a（n)+) +A262509型（n） 以及A155043号(A263083型（n） ）<A155043号(A262509型（n） ），因为在每个A262509型（n） “到零的距离”，A155043号获得唯一值A262508型（n） ，因此没有A049820号-从大于的任何k开始的迭代轨迹A262509型（n） 和使用 一大于或等于零步数的步骤可能会绕过A262509型（n） [即，不经过A262509型（n） ]，因为那时A262508型（n） 将不再是唯一的。另请参阅中的注释A262909型.

经核准的

编辑

提出

经核准的

编辑

提出

对于所有非零项a（n），A263083型（n） =a（n）+A262509型（n） 以及A155043号(A263083型（n） ）<A155043号(A262509型（n） ），因为在每个A262509型（n） “到零的距离”，A155043号获得一个一独特的价值A262508型（n） ，因此没有A049820号-从大于的任何k开始的迭代轨迹A262509型（n） 使用更大或相等的步数达到零可能会绕过A262509型（n） [即，不经过A262509型（n） ]，因为那时A262508型（n） 将不再是唯一的。另请参阅中的注释A262909型.

经核准的

编辑

提出

经核准的

编辑

提出

对于所有非零项a（n），A155043号A263083型(n个) =a（n）+A262509型(n个)和 A155043号(A263083型（n） ）<A155043号(A262509型（n） ），因为在每个A262509型（n） “到零的距离”，A155043号获得唯一值A262508型（n） ，因此没有A049820号-从大于的任何k开始的迭代轨迹A262509型（n） 使用更大或相等的步数达到零可能会绕过A262509型（n） [即，不经过A262509型（n） ]，因为那时A262508型（n） 将不再是唯一的。另请参阅中的注释A262909型.

囊性纤维变性。A049820号,A155043号,A262508型,A262509型,A262909型,A263083型.

安蒂·卡图恩：当然，A263083现在的描述不是“最近的旁路”，而是“最远的旁路”。

对于所有非零项a（n），A155043号（a（n）+A262509型（n） ）<A155043号(A262509型（n） ），因为在每个A262509型（n） “到零的距离”，A155043号获得一个唯一的值A262508型（n） ，因此没有A049820号-从大于的任何k开始的迭代轨迹A262509型（n）和 使用 更大的 或 平等的 数 属于 步骤 到 达到 零 可能会绕过它[A262509型(n个) [即，不经过A262509型（n）)]使用 更大的 或 平等的 数 属于 步骤,)],因为那时A262508型（n） 将不再是唯一的。另请参阅中的注释A262909型.

安蒂·卡图恩：记录：通过运行A263077的Pari-program，然后执行我在A263081和A262909的PinkBox注释中提到的操作，然后添加其他定义，也可以获得相同的术语：

安蒂·卡图恩：A049820=n->n-numdiv（n）；

安蒂·卡图恩：A262908（n）={my（k，t）；k=A262909（n）；t=A262509（n；

安蒂·卡图恩：我用这个print-loop:for（n=1,68，print1（A262908（n），“，”）得到了完全相同的项（与Scheme-program获得的原始项相同）

安蒂·卡图恩：添加定义：Aneares_旁路（n）=A262509（n）+A262908（n）；并打印：对于（n=1,68，打印1（Anearest_bypasters（n），“，”）；119196, 119196, 119232, 119280, 119280, 119952, 119970, 120120, 120120, 120132, 120132, 120320, 120330, 120400, 120432, 120750, 120780, 120960, 120960, 120960,120960, 120960, 121500, 121600, 121856, 122112, 122304, 122304, 122310, 122310,122850, 123000, 123240, 123240, 123264, 123264, 123300, 123840, 24660720, 24660720, 24662484, 24662484, 24663804, 24665130, 24665130, 24665472, 24666048, 24666120, 24669225, 24669960, 24670464, 24671340, 24672384, 24673086, 24673086, 24673800, 24673800, 24675000, 24675000, 24675000, 24675000, 24675300, 24675840, 24675924, 24677224, 24677268, 24678720, 24678720

安蒂·卡图恩：检查评论是否正确：对于（n=1,68，打印1（（A155043（A262509（n））-A155043（Anearest_bypasters（n），“，”））；395, 396, 354, 363, 364, 399, 390, 419, 422, 420, 421, 442, 430, 437, 460, 456, 498, 511, 512, 513, 515, 516, 506, 509, 533, 543, 564, 565, 557, 558, 591, 608, 612, 613, 614, 617, 617, 655, 3240, 3241, 3236, 3239, 3291, 3346, 3350, 3373, 3451, 3455, 2, 3598, 3637, 3605, 3674, 3688, 3689, 3748, 3749, 3792, 3793, 3794, 3800, 3803, 3858, 3843, 3902, 3947, 3985, 3986

安蒂·卡图恩这意味着：119196是比A262509（1）=119143大的最接近的数字，因此当我们减去其除数时，等于119196-τ（119196）=119196-72=119124，低于119143。由于在119143点A155043获得唯一值9236，因此该旁路必须获得较小的A155043值，实际上A155043（119196）=8841和9236-8841=395，这是上述“健全性检查”列表中的第一个术语。

安蒂·卡图恩：Anearest_bypasters现在是A263083。