thus a sufficient condition for a number to be transcendental. This transcendence criterion was not strong enough to be necessary too, and indeed it fails to detect that the number e is transcendental. But his work did provide a larger class of transcendental numbers, now known as Liouville numbers in his honour. Liouville's criterion essentially said that algebraic numbers cannot be very well approximated by rational numbers. So if a number can be very well approximated by rational numbers then it must be transcendental. The exact meaning of "very well approximated" in Liouville's work relates to a certain exponent. He showed that if α is an algebraic number of degree d ≥ 2 and ε is any number greater than zero, then the expression can be satisfied by only finitely many rational numbers p/q. Using this as a criterion for transcendence is not trivial, as one must check whether there are infinitely many solutions p/q for every d ≥ 2. In the twentieth century work by Axel Thue, Carl Siegel, and Klaus Roth reduced the exponent in Liouville's work from d + ε to d/2 + 1 + ε, and finally, in 1955, to 2 + ε. This result, known as the Thue–Siegel–Roth theorem, is ostensibly the best possible, since if the exponent 2 + ε is replaced by just 2 then the result is no longer true. However, Serge Lang conjectured an improvement of Roth's result; in particular he conjectured that q2+ε in the denominator of the right-hand side could be reduced to . Roth's work effectively ended the work started by Liouville, and his theorem allowed mathematicians to prove the transcendence of many more numbers, such as the Champernowne constant. The theorem is still not strong enough to detect all transcendental numbers, though, and many famous constants including e and π either are not or are not known to be very well approximable in the above sense. Auxiliary functions: Hermite to Baker Fortunately other methods were pioneered in the nineteenth century to deal with the algebraic properties of e, and consequently of π through Euler's identity. This work centred on use of the so-called auxiliary function. These are functions which typically have many zeros at the points under consideration. Here "many zeros" may mean many distinct zeros, or as few as one zero but with a high multiplicity, or even many zeros all with high multiplicity. Charles Hermite