Chen prime
a Ramanujan prime, a Chen prime, and