Q19 Matemática  (IMO Longlists 1989)

Sejam $a_1,\dots ,a_n$ inteiros positivos distintos que não contenham um $9$ em suas representações decimais. Prove que a seguinte desigualdade é válida $$\sum _{i=1}^n\frac{1}{a_i}\le 30.$$