Da der natürliche Logarithmus konkav ist, gilt mit der konkaven Version der Jensenschen Ungleichung und mit den Koeffizienten
-
die Beziehung
-
Wir wenden darauf die Exponentialfunktion und dann zweimal die Funktionalgleichung der Exponentialfunktion an und erhalten