Lemma Huanum
Lemma Huanum, ex Hua Loo-keng appellatum, in mathematica est aestimatio summarum exponentialium. Quae dicit si res P sit polynomialis per integrales aestimatus gradús k,  sit numerus realis positivus, et f sit functio realis per

definita, tum

,

ubi  in linea polygonali iacet cum verticibus

Notae

Lemmata
Theoria numerorum