Hola. Z es exponencial, de densidad (1/lambda) eˆ(-x/lambda). Sugerimos verificar que tiene área total 1 y media lambda.
Sea otra v a W no negativa de densidad cualquiera, llamémosla g(w). Nos fabricamos una exponencial de igual media, es decir con lambda = E_g(W).
La idea es partir de la divergencia, D(g||z), que es positiva. Allí aparecerá h(w) y E_g(constantes + términos lineales en x). La clave está en que en ese caso se puede sustituir el E_g por E_z, h hacer aparecer h(Z).
Las ideas son las mismas que se usan en la demostración hecha para la gaussiana.