Problem

Source: ELMO 2020 P1

Tags: algebra, functional equation



Let $\mathbb{N}$ be the set of all positive integers. Find all functions $f : \mathbb{N} \to \mathbb{N}$ such that $$f^{f^{f(x)}(y)}(z)=x+y+z+1$$for all $x,y,z \in \mathbb{N}$. Proposed by William Wang.