Conjecture: Given any fixed $n \geq 0, k \geq 1$, there always exists a solution $q_i, i = 1..n, \ p_j, p_k, j \gt k$ in the odd primes to: $$ 2^k q_1 \cdots q_n = p_j - p_k$$ Notice, I don't ask for infinitude of solutions, or for any such $2^k q_1\cdots q_n$ to appear as a prime gap. Can we...