Inclusion-Exclusion (AIME / USAJMO / AMO)
Proof-style AIME / USAJMO / AMO statements — develop a full argument; type only the final answer.
Proof track: treat each problem as a full olympiad writeup on paper. Here you only enter the final answer (integer or short expression).
Inclusion-Exclusion: core idea
Example problem: hint and answer
**(Proof track.)** Prove the full inclusion-exclusion principle by induction. Then enter the number of integers in not divisible by , , or .
Hint: PIE count. Answer: 266.
Practice (9 problems — type your answers)
No proof submission required — answers only.
1. **(Proof track.)** Derive the derangement formula and enter .
2. **(Proof track.)** Prove the surjection count via IE and enter the number of surjections .
3. **(Proof track.)** Prove . Enter .
4. **(Proof track.)** Using PIE on residues, enter how many integers in are divisible by or or .
5. **(Proof track.)** Prove a formula for the number of square-free positives asymptotically involves ; for exact small , enter the count of square-free integers in .
6. **(Proof track.)** Show . Using recurrence, enter .
7. **(Proof track.)** Prove the count of onto functions equals . Enter the Stirling number of the second kind .
8. **(Proof track.)** Using PIE for the probability a random permutation is a derangement, enter the nearest integer to (i.e. rounded? — instead enter ).
9. **(Proof track.)** Prove that the number of -bit strings with no consecutive s is . Enter that number for .