Han var også den første som ga et strengt bevis for konvergensen til følgen , som konvergerer mot ; denne følgen ble først undersøkt av Euler.