Additive functions with bounded difference (Q1231928)

A short and elementary proof is given that if \(f\) is an additive arithmetic function and \(f(n+1) - f(n)\) is bounded from one side, then it must be bounded from both sides. According to a famous theorem of Wirsing, this implies that these functions have the form \(f(n)=c\log n+O(1)\).