A253074-OEIS公司

253074英镑

词法上最早的不同数字序列，使得a（n-1）+a（n）不是素数。

0, 1, 3, 5, 4, 2, 6, 8, 7, 9, 11, 10, 12, 13, 14, 16, 17, 15, 18, 20, 19, 21, 23, 22, 24, 25, 26, 28, 27, 29, 31, 32, 30, 33, 35, 34, 36, 38, 37, 39, 41, 40, 42, 43, 44, 46, 45, 47, 48, 50, 49, 51, 53, 52, 54, 56, 55, 57, 58, 59, 60, 61, 62, 63, 65, 64, 66 (列表;图表;参考;听;历史;文本;内部格式)

	抵消	`1,3`
	评论	`猜想：这是非负数的排列。【帕特里克·德夫林（Patrick Devlin）和塞梅恩·阿塔莫诺夫（Semeon Artamonov）的证明大纲如下】` `让x是一个缺失的数字。` `最后，每个术语的形式都必须是PRIME-x（否则，x将显示为下一个术语）` `特别是，这意味着序列中只出现有限多个x的倍数。设Y是x的倍数，大于序列中出现的所有x的倍数。` `设q是一个素数，不除以Y。那么由于没有Y，2Y，3Y。。。，2qY出现时，序列中的每个术语最终都是PRIME-Y形式，也都是PREME-2Y形式，还有PRIME-3Y形式。。。也采用PRIME-2qY形式。` `这意味着我们有一个质数p和一个数字Y，例如p，p+Y，p+2Y，p+3Y，p+4Y。。。，p+2qY都是质数。但取这个序列的模q。由于q不除以Y，所以项0，Y。。。，2qY覆盖每个残留物类mod q两次。因此，p+kY覆盖每个残差类mod q两次。因此，有两个与0模q同余的项。一个可以是q，但另一个必须是它的倍数（与它的素性相矛盾）。` `本质上与A055266号. -R.J.马塔尔2015年2月13日` 证明的简化版本：假设x不在序列中，那么最终所有术语的形式都必须是PRIME-x，否则x将出现在下一个。特别是，x的倍数不能从那里出现。假设kx是序列中x的最大倍数。取素数p不除以x，那么mx不能出现在k+1的序列中<=m<=k+p，并且所有项最终都是形式prime-mx表示{k+1，…，k+p}中的所有m。取一个这样的项N>p，即N+（k+1）x。。。，N+（k+p）*x都是质数。考虑这个序列mod p。由于gcd（x，p）=1，p项覆盖了每个剩余类mod p，因此1是p的倍数，这与它们的素性相矛盾-M.F.哈斯勒，2019年11月25日
	链接	`莱因哈德·祖姆凯勒（Reinhard Zumkeller），n=1..10000时的n，a（n）表`
	黄体脂酮素	`（哈斯克尔）` `a253074 n=a253074_列表！！（n-1）` `a253074_list=0:f 0[1..]其中` `f u vs=g vs其中` `g（w:ws）\|a010051'（u+w）==1=g ws` `\|否则=w:f w（删除w vs）` `--莱因哈德·祖姆凯勒2015年2月2日` `（PARI）253074英镑_upto（n=99，a，u，u）={向量（n，n，for（k=u，oo，bittest（u，k-u）\|\|isprime（a+k）\|\|[a=k，break]）；（a>u&&u+=1<<（a-u））\|\|u>>=-u+u+=valuation（u+2，2）；a）+if（默认（调试），打印（[u]）））}\\其他参数允许调整计算。如果调试>0，则在末尾打印最少未使用的数字-M.F.哈斯勒2019年11月25日`
	交叉参考	`囊性纤维变性。A055266号,A254337号,A253073型,A010051型.` `上下文中的序列：A349377飞机 A349376飞机 A134892号A055266号 A338843型 A075077号` `相邻序列：A253071型 253072英镑 A253073型A253075型 253076英镑 A253077号`
	关键词	`非n`
	作者	`N.J.A.斯隆，2015年2月1日，根据帕特里克·德富林`
	状态	`经核准的`