FWIW, I think you don’t need case \gamma_0 + \zeta_0 in your proof, just the ones after each chunk suffice.
No, I meant fee rate – plotting fee gives you the current diagram, eg:
Plotting fee rate looks like:
Spreadsheet to play around: cfeerate - Google Sheets