Let $p_k$ be the $k$th prime, can it be shown for $p \ge 5$, that there is not always a twin prime between $p_k^2$ and $p_{k+1}^2$?

For any primorial $p_k \ge 3$, $p_k\#$, there are $$\prod_{2\le{i}\le{k}} (p_i-2)$$ distinct instances of $x,x+2$ that are relatively prime to $p_k\#$.

If any of these pairs are less than $p_{k+1}^2$, then they are necessarily twin primes.

For the heck of it, I wrote a tiny app that checks all the primes up to 191,137 and in each case there was at least one twin prime between $p_k^2$ and $p_{k+1}^2$.

Can it be proven that this eventually fails? Are there two consecutive primes $p_m, p_{m+1}$ such that if $p_i$ is a prime and $p_m^2 < p_i < p_{m+1}^2$, then $p_i,p_{i+1}$ are not a twin primes.

-
The question in your title and the last sentence of the description aren't equivalent. – Dennis Meng Oct 5 '13 at 18:27
@Dennis, could you explain. Here's my view why they are equivalent. There is not always a twin prime between $p_k^2$ and $p_{k+1}^2$ iff there exists two consecutive primes $p_m,p_{m+1}$ such that any prime $p_i$ that is in between $p_m^2$ and $p_{m+1}^2$ is not a twin prime. – Larry Freeman Oct 5 '13 at 18:31
Ah, just reread it. For some reason, I thought the second statement was only looking for one prime that isn't the smaller of a set of twin primes. Ignore me. – Dennis Meng Oct 5 '13 at 18:33
– Brad Graham Mar 29 at 18:53

You're looking for a small interval, so suppose you have twin primes ($p_k+2=p_{k+1}$). Then the gap is roughly $4\sqrt{x}$ with numbers around $x$. Heuristics suggest that, on average, such an interval would contain about $$\frac{8C_2\sqrt{x}}{\log^2 x}$$ twin primes, where $C_2\approx0.6601618158$ is the twin prime constant. If we treat the primes as being Poisson distributed, the chance that no primes would be found in the interval is $$\exp\left(-\frac{8C_2\sqrt{x}}{\log^2 x}\right)$$
For example, if $x=191137^2$ (using your number) then the chance is about 1 in $10^{741}$. The probabilities drop off rapidly from there, so probably you can find a pair of twin primes in any such interval.