User blog comment:QuasarBooster/Laver tables in Python/@comment-35470197-20181211055052

Good! Could you explain why p(n) can be computed in that way?