Problem

Source: 2019 ELMO Shortlist A4

Tags: algebra, functional equation



Find all nondecreasing functions $f:\mathbb R\to \mathbb R$ such that, for all $x,y\in \mathbb R$, $$f(f(x))+f(y)=f(x+f(y))+1.$$ Proposed by Carl Schildkraut