Prove greedy min-max-lateness scheduling optimal via exchange

Analyze the prove greedy min-max-lateness scheduling optimal via exchange.

Examples
Input: "proof_case_1"
Output: true
Hints

Prove greedy min-max-lateness scheduling optimal via exchange

Analyze the prove greedy min-max-lateness scheduling optimal via exchange.