>>875
>>870

>>876
仮定ではない。Firoozbakht予想が成り立つための条件として
p_n^2+n^2×p_n-n^2×p_(n+1)>0
となる。これが成立することを示した。