令a=arctan(N+1),b=arctan(N),a-b<1;a-b=arctan(tan(a-b))=arctan((tana-tanb)/(1+tana*tanb))=arctan(N+1-N)/(1+(N+1)*N)=arctan(1/(N^2+N+1));