Problem

Source: Switzerland - 2019 Swiss MO Final Round p6

Tags: algebra, functional, functional equation



Show that there exists no function $f : Z \to Z$ such that for all $m, n \in Z$ $$f(m + f(n)) = f(m) - n.$$