Very well articulated. I was researching on the Pentium FDIV bug and Brun's constant - this proof is easy on readers with little background on analytic number theory. Thanks