Skip to content / Đến nội dung
ThichHocToan.com

IMO 1975 — Shortlisted Problems Question 5

IMO Shortlist · IMO 1975 — Shortlisted Problems

Question 5

(SWE) Let $M$ be the set of all positive integers that do not contain the digit 9 (base 10). If $x_1,\ldots,x_n$ are arbitrary but distinct elements in $M$, prove that
$$\sum_{j=1}^n\frac1{x_j}\lt 80.$$