Problem

Source: China Western Mathematical Olympiad 2023 Day 2 P3

Tags: number theory, algebra, China, Inequality, number theory proposed



For positive integers $x, y, $ $r_x(y)$ to represent the smallest positive integer $ r $ such that $ r \equiv y(\text{mod x})$ .For any positive integers $a, b, n ,$ Prove that $$\sum_{i=1}^{n} r_b(a i)\leq \frac{n(a+b)}{2}$$