टिप्पणी में यवेस द्वारा सुझाए गए "छोटे काम" को संभालने के लिए, ज्यामिति एक कठोर और पूरी तरह से सामान्य प्रमाण का सुझाव देती है।
यदि आप चाहें, तो आप सभी संदर्भों को अभिन्न क्षेत्रों द्वारा प्रतिस्थापित कर सकते हैं और सामान्य एप्सिलॉन-विलंबित तर्कों द्वारा "मनमाना" संदर्भ दे सकते हैं। अनुवाद आसान है।
चित्र को सेट करने के लिए, को उत्तरजीविता फ़ंक्शन होने देंG
G(x)=1−F(x)=Pr(X>x).
आकृति का एक भाग प्लॉट करती है । (। सूचना ग्राफ में कूद: इस विशेष वितरण लगातार नहीं है) एक बड़ी सीमा टी दिखाया गया है और एक छोटे से संभावना ε ≤ जी ( टी ) चयनित किया गया है (ताकि जी - 1 ( ε ) ≥ टी )।GTϵ≤G(T)G−1(ϵ)≥T
हम जाने के लिए तैयार: मूल्य हम रुचि में, (एक हम शून्य करने के लिए और converges दिखाना चाहते हैं), सफेद के क्षेत्र है ऊंचाई के साथ आयत ε और आधार से एक्स = 0 करने के लिए एक्स = जी - 1 ( ε ) । आइए इस क्षेत्र को एफ की अपेक्षा से संबंधित करें , क्योंकि हमारे पास एकमात्र धारणा यह है कि यह अपेक्षा मौजूद है और परिमित है।ϵ एफ- 1( 1 - ϵ ) = ϵ जी- 1( Ε )εx = 0x = जी- 1( Ε )एफ
सकारात्मक भाग उम्मीद की ई एफ ( एक्स ) (से अस्तित्व वक्र के तहत क्षेत्र है 0 को ∞ ):इ+इएफ( एक्स))0∞
इएफ( एक्स)) = ई+- ई-= ∫∞0जी ( एक्स ) डीx - ∫0- ∞एफ( x ) dx ।
क्योंकि परिमित होना चाहिए (अन्यथा उम्मीद ही मौजूद हैं और परिमित नहीं होगा के लिए), हम ले सकते हैं टी इतनी बड़ी है कि के तहत क्षेत्र जी के बीच 0 और टी सभी के लिए खातों, या लगभग सभी, के ई + ।इ+टीजी0टीइ+
सभी टुकड़े जगह में अब कर रहे हैं: का ग्राफ , सीमा टी , छोटे ऊंचाई ε , और दाएँ हाथ के अंत बिंदु जी - 1 ( ε ) के विच्छेदन का सुझाव ई + क्षेत्रों हम विश्लेषण कर सके:जीटीεजी- 1( Ε )इ+
के रूप में ऊपर से शून्य करने के लिए चला जाता है, आधार के साथ सफेद आयत का क्षेत्रफल 0 ≤ एक्स < टी सिकुड़ती शून्य करने के लिए है, क्योंकि टी लगातार बनी हुई है। ( यही कारण है कि टी पेश किया गया था; यह इस प्रदर्शन के लिए महत्वपूर्ण विचार है। )ε0 ≤ x < टीटीटी
नीले क्षेत्र के करीब के रूप में बनाया जा सकता है , के रूप में आप की तरह हो सकता है एक उपयुक्त बड़े से प्रारंभ करते हुए टी और फिर छोटे चुनने ε । इ+टीε
नतीजतन, क्षेत्र में छोड़ दिया - जो स्पष्ट रूप से से आधार के साथ सफेद आयत से अधिक नहीं है करने के लिए एक्स = जी - 1 ( ε ) मनमाने ढंग से छोटे बनाया जा --can। (दूसरे शब्दों में, बस लाल और सोने के क्षेत्रों की उपेक्षा करें।)x=Tx=G−1(ϵ)
हम जिससे हड्डी टूट गई है दो टुकड़े जिसका क्षेत्रों शून्य करने के लिए दोनों एकाग्र में। ϵG−1(ϵ) इस प्रकार, , QED।ϵG−1(ϵ)→0