Proof of `The Fairness Parameter One Below the Number of Days` (1st statement)
What this proof establishes
no assumptions
Assuming the claims on the left, the claim on the right holds — checked by the archive's pipeline. Proof code is not displayed here.
Description
The variable of a day and a client says that the client is served on that day. The conflict clauses are exactly feasibility, and the validation clauses say that no client is rejected on two days, which at this fairness parameter is fairness.