Part of 2022 Austrian MO Beginners' Competition
Source: 2022 Austrian Mathematical Olympiad Junior Regional Competition , Problem 4