>>364
それです。
元の問題は（素数及び）素数冪を小さい方から順番に並べて、 q_n とすると、
limsup (q_(n+1) - q_n) = ∞？
と言う問題です。