同一表达式同时受到上确界和 ggg 的控制。
三角不等式给出 2k≥∣f(x+y)+f(x−y)∣2k\ge|f(x+y)+f(x-y)|2k≥∣f(x+y)+f(x−y)∣。由函数方程,右边等于 2∣f(x)∣∣g(y)∣2|f(x)||g(y)|2∣f(x)∣∣g(y)∣。