"
However, that is outside the scope of the result that an individual miner's profit per block is always maximized at a finite block size Q* if Shannon Entropy about each transaction is communicated during the block solution announcement. This result is important because it explains how a minimum fee density exists and it shows how miners cannot create enormous spam blocks for "no cost," for example. "
Dear Peter,
This might very well not be the case. Since the expected revenue <V> in our formulas is but a lower bound to the true expected revenue, and the fee supply curve , if the true expected revenue doesn't decay faster than the mempool's average transaction fee (or, more simply, if it doesn't decay to zero) then the maximum miner surplus will be unbounded and unhealthy fee markets will emerge.
Best,
Daniele