“…4 at every a at which F is continuous, the counting function (1.6) A([a,p),/c,(^)) = Card {n: 1 ^ n ^ /c, a ^ {x^} < (3} being here defined for all real numbers a and (3. The conditions (1.4) mean that F is continuous at 0 and 1, and imply that F is constant on the intervals (-oo, 0] and [1, oo).…”