 He proved the necessary and sufficient condition for quasi-analyticity, now called the Denjoy–Carleman theorem.As a corollary, he obtained a sufficient condition for the determinacy of the moment problem.As one of the steps in the proof of the Denjoy–Carleman theorem in , he introduced the Carleman inequality
valid for any sequence of non-negative real numbers "a""k".