4.2. Pigeonhole principle Notes | Discrete Structure BDS | TU | TABFlux