Proof of `Raising the Number of Days and the Fairness Parameter` (2nd 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 added client has the same job on every day, and every other client has the processing time it has on the first day.