He was the first to prove that e, the base of natural logarithms, is a transcendental number. His methods were later used by Carl Louis Ferdinand von Lindemann for the proof of his celebrated theorem that &pi is transcendental.