Substitution yields 998+(1/2)∑n=119961/n>998+6/2=1001998+(1/2)\sum_{n=1}^{1996}1/n>998+6/2=1001998+(1/2)∑n=119961/n>998+6/2=1001.