因为y>x,所以设y=x+i,i>0
当i不属于N,y不属于N,舍去
当i属于N,因为N为无穷集,且x属于N,所以x+1属于N,x+2属于N,.x+i属于N,所以y属于N
综上,存在y>x,且y属于N