Part of 2023 Austrian MO Beginners' Competition
Source: 2023 Austrian Mathematical Olympiad, Junior Regional Competition , Problem 1