Sorry, you are right. Anyway, is the following trivial? Is there a proof for it?
the transactions in pot that do not belong to inc must have a feerate at least as high as can be achieved by any set that includes inc and excludes exc
Sorry, you are right. Anyway, is the following trivial? Is there a proof for it?
the transactions in pot that do not belong to inc must have a feerate at least as high as can be achieved by any set that includes inc and excludes exc