เพื่อจัดการกับ "งานเล็ก ๆ น้อย ๆ " ที่ Yves แนะนำในการแสดงความคิดเห็นเรขาคณิตแนะนำให้ใช้การพิสูจน์ที่เข้มงวดและโดยทั่วไป
หากคุณต้องการคุณสามารถแทนที่การอ้างอิงทั้งหมดไปยังพื้นที่โดยอินทิกรัลและการอ้างอิงถึง "โดยพลการ" โดยอาร์กิวเมนต์ epsilon-delta ปกติ การแปลนั้นง่าย
หากต้องการตั้งค่ารูปภาพให้เป็นฟังก์ชันการอยู่รอดG
G(x)=1−F(x)=Pr(X>x).
ร่างแผนการส่วนหนึ่งของG(Notice กระโดดในกราฟ: การกระจายนี้โดยเฉพาะอย่างยิ่งไม่ต่อเนื่อง.) เกณฑ์ขนาดใหญ่มีการแสดงและความน่าจะเป็นขนาดเล็กได้รับเลือก (เพื่อให้ )T ϵ ≤ G ( T ) G - 1 ( ϵ ) ≥ TGTϵ≤G(T)G−1(ϵ)≥T
เราพร้อมที่จะไปแล้ว:ค่าที่เราสนใจ (หนึ่งที่เราต้องการแสดงลู่ ให้เป็นศูนย์) เป็นพื้นที่ของสี่เหลี่ยมสีขาวที่มีความสูงและฐานจากการepsilon) เรามาเกี่ยวข้องกับพื้นที่นี้กับความคาดหวังของเพราะข้อสันนิษฐานเดียวที่เรามีคือความคาดหวังนี้มีอยู่และแน่นอนϵ x = 0 x = G - 1 ( ϵ ) FϵF−1(1−ϵ)=ϵG−1(ϵ)ϵx=0x=G−1(ϵ)F
ส่วนที่เป็นบวกของความคาดหวังคือพื้นที่ใต้เส้นโค้งการอยู่รอด (จากถึง ):E F ( X ) 0 ∞E+EF(X)0∞
EF(X)=E+−E−=∫∞0G(x)dx−∫0−∞F(x)dx.
เนื่องจากต้องมีขอบเขต (ไม่เช่นนั้นความคาดหวังจะไม่มีอยู่จริงและมีขอบเขต จำกัด ) เราอาจเลือกขนาดใหญ่จนพื้นที่ใต้ระหว่างถึงบัญชีสำหรับทั้งหมดหรือเกือบทั้งหมดของ . T G 0 T E +E+TG0TE+
ตอนนี้ชิ้นส่วนทั้งหมดอยู่ในตำแหน่ง: กราฟของ , ธรณีประตู , ความสูงเล็กและจุดสิ้นสุดทางขวามือแนะนำการแยกลงในพื้นที่ที่เรา สามารถวิเคราะห์:T ϵ G - 1 ( ϵ ) E +GTϵG−1(ϵ)E+
เมื่อไปที่ศูนย์จากด้านบนพื้นที่ของสี่เหลี่ยมสีขาวที่มีฐานจะลดลงเป็นศูนย์เนื่องจากยังคงที่ ( นี่คือสาเหตุที่ถูกนำเสนอเป็นแนวคิดหลักสำหรับการสาธิตนี้ )0 ≤ x < T T Tϵ0≤x<TTT
พื้นที่สีฟ้าสามารถทำได้ใกล้เคียงกับที่คุณอาจชอบโดยเริ่มต้นที่มีขนาดใหญ่อย่างเหมาะสมแล้วเลือกขนาดเล็ก\ T ϵE+Tϵ
ดังนั้นพื้นที่ที่เหลือ - ซึ่งเห็นได้ชัดว่าไม่มากไปกว่ารูปสี่เหลี่ยมผืนผ้าสีขาวที่มีฐานจากถึงสามารถทำให้มีขนาดเล็กลงโดยพลการ (ในคำอื่น ๆ เพียงแค่ละเว้นพื้นที่สีแดงและสีทอง)x = G - 1 ( ϵ )x=Tx=G−1(ϵ)
เราจึงแยกออกเป็นสองส่วนโดยที่ทั้งสองพื้นที่รวมกันเป็นศูนย์ ϵG−1(ϵ) ดังนั้น , QEDϵG−1(ϵ)→0