積分型に関する証明は、1943年に応用数学者のリチャード・e・ベルマンによって行われた。