Germain prime conjecture

Let $x\geq 1$ be large, and let $\Lambda$ be the von Mangoldt function. Germain prime conjecture.

$$\sum_{n\leq x}\Lambda(n)\Lambda(2n+1)=s_1x+O\left(\frac{x}{\log x}\right),$$

where

$$s_1=\prod_{p\geq 3}\left(\frac{p(p-1)}{(p-1)^2}\right)=0.6601618158468\ldots.$$

This predicts a quantitative distribution for Sophie Germain primes, namely primes $p$ for which $2p+1$ is also prime; the asserted asymptotic is open.