MathDB
TOT 013 1981 Spring S3 every pos. real sum of 9 no with decimal by digits 0,7

Source:

August 17, 2019
number theorydecimal representationSum

Problem Statement

Prove that every real positive number may be represented as a sum of nine numbers whose decimal representation consists of the digits 00 and 77.
(E Turkevich)