Part of 2016 Regional Competition For Advanced Students
Source: 47th Austrian Mathematical Olympiad Regional Competition Problem 2