 He also discovered a proof method that later became known as the Cantor's diagonal argument.His name is also associated with the fundamental lemma of calculus of variations of which he proved a refined version based on that of Lagrange.Paul du Bois-Reymond developed a theory of infinitesimals