The problem becomes easier if you dont consider the mempool as homogeneous.  You have three tiers, the high fee tier modulated by the nash equilibrium.  The low fee tier modulated by hadware/decentralization balance.  And the middle tier which is competed for by gamblers, other use cases, spammers and so on.

https://m.primal.net/IcHj.png