Q22 Matemática  (IMO Shortlist 1999)

Prove que para todo número real $M$ existe uma progressão aritmética infinita tal que: - cada termo é um inteiro positivo e a diferença comum não é divisível por 10 - a soma dos dígitos de cada termo (em representação decimal) excede $M$.