这个定义确实有些饶人,写成2(2+N)而不写成2N是为了使N能取所有的正整数,与数学归纳法要求的自变量取值范围相吻合,以避免N大于等于3这个条件(我认为这个条件是多余的);
饶人的地方更在于条件Pi<2(2+N),Qi<2(2+N)。我们平时所讲的素数对,对2N或2(2+N)来说忽略了这一限制条件,有了这个条件再去观察素数对,就会有连续可表素数对这个概念,这可能就是南通王老师所说的升值的意思,这样最大的I自然就会出现,如果最大的这个素数对没有的话,就意味着I=0,与厦门的黄网友用反证法证明哥德巴赫猜想相一致;
这个最大的I不会不存在,因受Pi<2(2+N),Qi<2(2+N)这样的条件所限制,9楼、10楼的例子可帮助理解。