Untuk menangani "pekerjaan kecil" yang disarankan oleh Yves dalam komentar, geometri menyarankan bukti yang kuat dan sepenuhnya umum.
Jika Anda suka, Anda dapat mengganti semua referensi ke area dengan integral dan referensi untuk "sewenang-wenang" dengan argumen epsilon-delta yang biasa. Terjemahannya mudah.
G
G(x)=1−F(x)=Pr(X>x).
Angka tersebut plot bagian dari . (Perhatikan lompatan dalam grafik: distribusi khusus ini tidak kontinu.) ambang batas besar ditunjukkan dan probabilitas kecil telah dipilih (sehingga ).GTϵ≤G(T)G−1(ϵ)≥T
Kami siap berangkat: nilai yang kami minati, (yang ingin ditunjukkan konvergen) to zero), adalah luas kotak putih dengan tinggi dan basis dari hingga . Mari kita kaitkan area ini dengan ekspektasi , karena satu-satunya asumsi yang tersedia bagi kita adalah bahwa ekspektasi ini ada dan terbatas.ϵF−1(1−ϵ)=ϵG−1(ϵ)ϵx=0x=G−1(ϵ)F
Bagian positif dari ekspektasi adalah area di bawah kurva survival (dari hingga ):E+EF(X)0∞
EF(X)=E+−E−=∫∞0G(x)dx−∫0−∞F(x)dx.
Karena harus terbatas (jika tidak harapan itu sendiri tidak akan ada dan terbatas), kita dapat memilih begitu besar sehingga area di bawah antara dan menyumbang semua, atau hampir semua, dari .E+TG0TE+
Semua bagian sekarang ada di tempatnya: grafik , ambang , tinggi kecil , dan titik akhir kanan menyarankan diseksi ke dalam area yang kami dapat menganalisis:GTϵG−1(ϵ)E+
Saat bergerak ke nol dari atas, area persegi panjang putih dengan basis menyusut ke nol, karena tetap konstan. ( Inilah mengapa diperkenalkan; itu adalah ide kunci untuk demonstrasi ini. )ϵ0≤x<TTT
Area biru dapat dibuat sedekat mungkin dengan , dengan memulai dengan besar yang sesuai dan kemudian memilih kecil . E+Tϵ
Akibatnya, area yang tersisa - yang jelas tidak lebih besar dari persegi panjang putih dengan basis dari ke - dapat dibuat kecil secara sewenang-wenang. (Dengan kata lain, abaikan saja area merah dan emas.)x=Tx=G−1(ϵ)
Dengan demikian, kami telah memecah menjadi dua bagian yang area keduanya konvergen menjadi nol. ϵG−1(ϵ) Jadi, , QED.ϵG−1(ϵ)→0