カール・ワイエルシュトラス
An integral such as this was adopted as the definition of by Karl Weierstrass, who defined it directly as an integral in 1841.