cramer-granville conjecture