Ini hampir merupakan kondisi untuk fungsi distribusi kumulatif menjadi log-cekung , yang merupakan properti yang sangat berguna dengan banyak aplikasi. Tapi hampir .
Sebuah fungsi F(x) adalah log-cekung jika
∂2lnF(x)∂x2≤0⇒F′′(x)F(x)−[F′(x)]2≤0
Tulis dalam bentukϕ(x)F(x)
ϕ(x)≡F′(x)F(x)+xF′(x)
dan kami ingin
∂ϕ(x)∂x≤0⇒F′′(x)(F(x)+xF′(x))−F′(x)(F′(x)+F′(x)+xF′′(x))≤0
⇒F′′(x)F(x)−2[F′(x)]2≤0
... yang tidak cukup untuk log-concavity, karena adanya faktor . 2
Asumsikan bahwa kondisinya terpenuhi. Jika kita bagi dengan dan mengatur ulang kita dapatkan[F(x)]2
∂ϕ(x)∂x≤0⇒∂2lnF(x)∂x2≤(F′(x)F(x))2=(∂lnF(x)∂x)2