মন্তব্যে ইয়ভেসের প্রস্তাবিত "ছোট্ট কাজ" পরিচালনা করতে জ্যামিতি একটি কঠোর এবং সম্পূর্ণ সাধারণ প্রমাণের পরামর্শ দেয়।
আপনি যদি চান, আপনি সমস্ত অ্যাপসিলন-ডেল্টা যুক্তি দ্বারা ইন্টিগ্রালগুলি এবং "স্বেচ্ছাসেবক" রেফারেন্স দ্বারা অঞ্চলগুলিতে সমস্ত উল্লেখগুলি প্রতিস্থাপন করতে পারেন। অনুবাদ সহজ।
ছবি সেট আপ করতে, দিন বেঁচে থাকার ফাংশন হবেG
G(x)=1−F(x)=Pr(X>x).
চিত্রটি একটি অংশকে প্লট করে । (গ্রাফের জাম্পটি লক্ষ্য করুন: এই নির্দিষ্ট বিতরণটি অবিচ্ছিন্ন নয়)) একটি বৃহত প্রান্তিক প্রদর্শিত হবে এবং একটি ক্ষুদ্র সম্ভাবনা নির্বাচন করা হয়েছে (যাতে )।টি ϵ ≤ জি ( টি ) জি - 1 ( ϵ ) ≥ টিGTϵ≤G(T)G−1(ϵ)≥T
আমরা যেতে প্রস্তুত: আমরা যে মানটি আগ্রহী, (আমরা রূপান্তরগুলি দেখাতে চাই শূন্য থেকে), উচ্চতার সাথে সাদা আয়তক্ষেত্রের ক্ষেত্রফল এবং থেকে বেস । আসুন এই অঞ্চলটিকে এর প্রত্যাশার সাথে সম্পর্কিত করুন , কারণ আমাদের কাছে একমাত্র অনুমান পাওয়া যায় যে এই প্রত্যাশা বিদ্যমান এবং সীমাবদ্ধ।ϵ x = 0 x = জি - 1 ( ϵ ) এফϵ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+
সমস্ত টুকরা এখন জায়গায় রয়েছে: এর গ্রাফ , প্রান্তিক , ছোট উচ্চতা এবং ডান হাতের প্রান্তভাগ অঞ্চলগুলিতে বিচ্ছিন্ন করার পরামর্শ দেয় বিশ্লেষণ করতে পারেন:টি ϵ জি - 1 ( ϵ ) ই +GTϵG−1(ϵ)E+
হিসাবে উপরে থেকে শূন্য যায়, বেস সঙ্গে সাদা আয়তক্ষেত্র এলাকা শূন্য করতে সঙ্কুচিত, কারণ ধ্রুবক রয়ে যায়। ( এই কারণেই চালু করা হয়েছিল; এটি এই বিক্ষোভের মূল ধারণা ))0 ≤ x < টি টি টিϵ0≤x<TTT
আপনার পছন্দ মতো নীল অঞ্চলটি কাছাকাছি তৈরি করা যেতে পারে, উপযুক্ত বড় দিয়ে শুরু করে এবং তারপরে ছোট বেছে নিয়ে । টি εE+Tϵ
ফলস্বরূপ, বাকি অংশটি - যা পরিষ্কারভাবে থেকে ps এপসিলন ভিত্তিযুক্ত সাদা আয়তক্ষেত্রের চেয়ে বড় নয় এটিকে নির্বিচারে ছোট করা যেতে পারে। (অন্য কথায়, কেবল লাল এবং সোনার অঞ্চলগুলি উপেক্ষা করুন))x = জি - 1 ( ϵ )x=Tx=G−1(ϵ)
আমরা কে দুটি টুকরো টুকরো টুকরো টুকরো করে যার ক্ষেত্র উভয়ই শূন্যে রূপান্তরিত হয়। ϵG−1(ϵ) সুতরাং, , কিউইডি।ϵG−1(ϵ)→0