[darkmighty]

Ah yes you're right I just naively assumed the gap going to infinity implied the number of small gaps has to be finite, thanks. I believe your argument argument sightly miscounts the twin primes, since you're giving a new "chance" after you had already drawn a prime/not-prime. A lower bound assuming the probabilistic model would be E[Twin Primes] > Sum ( 1/( ln(4k) ln(4k+2) ), which is still divergent so your point stands.

> so there are infinitely many twin primes

http://en.wikipedia.org/wiki/Twin_prime

Note the twin prime conjecture is not yet proven (your argument does not follow directly from PNT, but from the approximate probabilistic model that (almost surely?) displays PNT-like count).

> Because the Sum of 1/(f(x)) as x -> inifinity = infinity if f(x) < (x).

Here's a cute counterexample: x/(2*sign(sin(x))) < x, but the sum < infinity (you're missing an absolute value |f(x)| in your statement).

[Retric]

Yea, I was playing fast a loose. Though, for positive infinity you need 0 < f(x) < (x) not just |f(x)| < x. EX: f(x) = -0.5 * x