Extremal arguments and optimisation
Prove a bound and exhibit a configuration that attains it.
IKMC Grades 9-10 - Selected Topics
Give both a bound and an example that attains it.
Handle integer conditions and equality cases.
Use the worst case to test a guarantee.
Explain why a construction is optimal.