Lập luận cực trị và tối ưu

Chứng minh một chặn và chỉ ra cấu hình đạt được chặn đó.

Nêu được cả chặn lẫn ví dụ đạt được chặn đó.

Xử lí điều kiện nguyên và trường hợp xảy ra dấu bằng.

Dùng trường hợp xấu nhất để kiểm tra một điều chắc chắn xảy ra.

Giải thích vì sao một cách dựng là tối ưu.