Problem

Source: 2021 Irish Mathematical Olympiad P9

Tags: inequalities, algebra



Suppose the real numbers $a, A, b, B$ satisfy the inequalities: $$|A - 3a| \le 1 - a\,\,\, , \,\,\, |B -3b| \le 1 - b$$, and $a, b$ are positive. Prove that $$\left|\frac{AB}{3}- 3ab\right | - 3ab \le 1 - ab.$$