>>434
正しくないですな
>function F_n(x) decreases monotonically

あなたが証明するべきはfunction F(p_n+1,p_n)がnに対して単調減少であることです

それがp_nを固定してF_n(x)の単調減少にすり替わっていますな