>>900
ちょっと訂正。
Pk/P(k-1)=λ/k ≧ 1 を満たす最大のkを 
k0=[λ] とおけば
P1≦P2≦・・・≦P(k0-1)≦Pk0≧P(k0+1)≧・・・