Congettura sui numeri primi dispari.

Per ogni primo dispari p esiste almeno un intero k<ln²(p) tale che l'intero q=2kp+1 sia anch'esso
primo.

Riferimento: oeis.org/A074884 per una tabella calcolata con valori di k crescenti.

Nota: il fattore 2 davanti alla k non puo' essere omesso: i numeri 3, 5227 e 36673176307 (e,
probabilmente, anche qualcun altro) fungerebbero da controesempi se il fattore 2 fosse omesso.

Con la presenza del fattore 2 non sono stati trovati, al momento, controesempi (se qualcuno lo
trova, puo' scrivere all'indirizzo markfriz@gmail.com).

Al momento la congettura non e' dimostrata, ne' confutata. Esistono congetture analoghe
dimostrate, ma con valori di k molto piu' elevati. Non so se la congettura e' decidibile (e, in caso
affermativo, se e' dimostrabile). In ogni caso non ho una dimostrazione.

Marco Frigerio