MathDB
A multiplicative function which is subadditive up to a factor of 2

Source: Germany 2022, Problem 6

June 25, 2022
functionalgebraalgebra proposedfunctional equationFunctional inequalityfunctional inequalities

Problem Statement

Consider functions ff satisfying the following four conditions: (1) ff is real-valued and defined for all real numbers. (2) For any two real numbers xx and yy we have f(xy)=f(x)f(y)f(xy)=f(x)f(y). (3) For any two real numbers xx and yy we have f(x+y)2(f(x)+f(y))f(x+y) \le 2(f(x)+f(y)). (4) We have f(2)=4f(2)=4.
Prove that: a) There is a function ff with f(3)=9f(3)=9 satisfying the four conditions. b) For any function ff satisfying the four conditions, we have f(3)9f(3) \le 9.