フォーチュン予想の部分証明を見つけたのですが、もうすでに誰かが見つけています...

shentechsさん

p_n# + 2 ≦ q ≦ p_n# + p_n^2
(p_n は n 番目の素数、p_n# は素数階乗)
となる素数 q について、
q - p_n# は素数になるとかなんとかいう
質問が過去にありましたけど（取り消されていましたが）
それのことですか？

q - p_n# は 2 以上 p_n^2 以下の自然数で p_n 以下の素数を
素因数に持たないのですから素数ですね。
（エラトステネスのふるい）

あなたが数学の専門書を読んだことがあるのかは知りませんが、
そういう本に載っている定理の大半には名前はありませんし、
誰が最初に証明したのかも書いてありません。

何らかの重要な意味を持つと多くの数学者が認めた
定理、数学的対象の構築、予想、概念にのみ
人名が付けられるのです。
「認めた」というのは当然、主観が入りますし、
流行り廃りもありますけどね。

初等的な整数論の証明は
命題の内容に如何に独自性があっても、
あまり関心を持つ人はいませんし、
世界で最初に証明したとしても
評価する数学者はいません。

ですから、誰かが証明したかなどという
細かいことは気にしないほうがよいでしょう。