设a为首项,b为公差；
因为a2003+a2004=2a+4005b>0
所以0>b>-2a/4005
所以当Sn=[a+a+(n-1)b]*n/2>0
既a+a+(n-1)b>0
n<-2a/b+1≤4006
所以最大自然数n是4006