Part of 2020 Austrian Junior Regional Competition
Source: 2020 Austrian Mathematical Olympiad Junior Regional Competition , Problem 3