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