Conjecture:if $i<j$,then $\pi(p[i]+i)-i<=\pi(p[j]+j)-j+1$
you are right! Mathematica code: Table[pi[p[n] + n] - n, {n, 1, 100}] {1, 1, 1, 1, 1, 2, 2, 1, 2, 2, 2, 3, 3, 2, 3, 3, 4, 4, 4, 4, 3, 4, 4, \ 6, 5, 5, 4, 4, 4, 4, 6, 6, 6, 6, 7, 6, 7, 8, 7, 7, 6, 6,... my conjecture is false.