It’s interesting to note that this derivation was parsed out by developers and economists analyzing the protocol parameters from the code and the whitepaper. It is not in Satoshi Nakamoto’s original 9-page paper.