This is a part of my answer to <a href="http://mathoverflow.net/questions/84310/generalizing-euclids-proof-of-the-infinity-of-primes/84342#84342"> this question</a> I think it deserves to be treated separately. 

<b> Conjecture</b> Let $A$ be the set of all primes from $2$ to $p>17$. Let $q$ be the next prime after $p$. Then $q$ divides $rs+1$ for some $r,s\in A$. 

I wonder if this conjecture is already known. I checked it for all $p<692,000$. 

A reformulation of the conjecture is this (motivated by  Gjergji Zaimi's comment). Let $p > 17$ be prime. Let $A$ be the set of primes $< p$ considered as a subset of the cyclic multiplicative group $\mathbb{Z}/p\mathbb{Z}^*$. Then the product $A\cdot A$ contains $-1$. 

It is interesting to know how large $A\cdot A$ is. This seems to be related to Freiman-type results of Green, Tao and others. Also as Timothy Foo pointed out, perhaps Vinogradov's method of trigonometric sums can apply.