The unexpectedly hard windmill question (2011 IMO, Q2) | 3Blue1Brown | Podwise