|
a（1）=1是当时可用的最小选择，不会导致矛盾。这意味着在本学期结束后，必须访问索引1+1=2处的学期。
a（2）不能是素数，因为它们>=2并且会“指向”非正指数。可用的最小选项是a（2）=4，这意味着在本学期结束后，必须访问索引为2+4=6的学期。
a（3）也不能是素数，因为2会返回到3-2=1并给出一个循环，而其他素数太大，无法指定左边的有效步长。因此，a（3）=6是最小的可能选择，导致在本学期结束后指数3+6=9。
类似地，a（4）=8，导致指数4+8=12。
那么，a（5）可以等于最小的可用数字2，从而在访问本学期后得到索引5-2=3。
因此，a（6）不能是3，这将导致6-3=3，但a（3）已经有a（5）作为前身。更大的素数也不可能，所以可能的最小选择是a（6）=9，从而得到6+9=15。
等等。
在1000个项之后，最小的未使用数是素数787，最早的没有前导项的项是a（226）=238。
在2000个术语之后，最小的未使用数字是质数1583，而最早的还没有前导词的术语是a（420）。
在10^4项之后，最小的未使用数字是质数8219，最早的还没有前导项的是a（1784）。
这些极限似乎大致呈线性增加，这证明了所有数字最终都会出现并有前身的猜测是正确的。
涉及前几个术语的轨迹是：
a（1）=1->a（2）=4->a（6）=9->a（15）=18->a（33）=36->a（69）=76->a（145）=103->a（42）=48->a（90）=96->a（186）=200->a（386）=404->a（790）=820->a（1610）=1666->a（3276）=3369->a（6645）=6807->。。。
…->a（6461）=5261->a（1200）=937->a（263）=193->a（70）=47->a（23）=13->
a（10）=5->a（5）=2->a（3）=6->a（9）=12->a（21）=25->a（46）=51->a（97）=67->
a（30）=34->a（64）=70->a（134）=144->a（278）=294->a（572）=596->
a（1168）=1210->a（2378）=2451->a（4829）=3907->a（922）=957->a（1879）=1939->
a（3818）=3922->a（7740）=7917->。。。
…->a（4286）=3461->a（825）=858->a（1683）=1737->a（3420）=2741->a（679）=708->
a（1387）=1087->a（300）=223->a（77）=53->a（24）=27->a（51）=56->
a（107）=116->a（223）=163->a
a（7）=3->a（4）=8->a（12）=15->a（27）=32->a（59）=65->a
a（257）=273->a（530）=552->a（1082）=1124->a（2206）=2271->a（4477）=4593->
a（9070）=9275->。。。
我们可以从上的某个索引修改序列，以便通过前面的a（3）=6和a（4）=8连接轨迹。例如，一个变量具有相同的项，直到a（10），但连接了所有这些早期产量（在“局部极小值”之前折线）：
a（1）=1->a（2）=4->a（6）=9->a（15）=7->a（8）=10->a（18）=11->
a（7）=3->a（4）=8->a（12）=14->a（26）=13->a（13）=15->a（28）=17->
a（11）=16->a（27）=18->a（45）=31->
a（14）=20->a（34）=21->a（55）=23->a（32）=22->a（54）=37->a（17）=24->
a（41）=19->a（22）=25->a（47）=26->a（73）=53->
a（20）=28->a（48）=29->a（19）=27->a（46）=30->a（76）=47->
a（29）=32->a（61）=33->a（94）=71->a（23）=34->a（57）=41->
a（16）=35->a（51）=36->a（87）=43->a（44）=38->a（82）=39->a（121）=97->
a（24）=40->a（64）=42->a（106）=73->a（33）=44->a（77）=67->a（10）=5->
a（5）=2->a（3）=6->a（9）=12->a（21）=45->。。。
| 