11th European Girls' Mathematical Olympiad | EGMO 2022 | Problem 4   .