Part of 2021 Abels Math Contest (Norwegian MO) Final
Source: Norwegian Mathematical Olympiad 2021 - Abel Competition p3b