Part of 2017 Federal Competition For Advanced Students
Source: 48th Austrian Mathematical Olympiad P1