# 第 15732 題：依分布收斂 [返回所在分頁 79](https://ocme.evemisslab.com/zh-Hant/questions/page/79/) [← 逐題詳解目錄](https://ocme.evemisslab.com/zh-Hant/questions/) · [原題批次](https://ocme.evemisslab.com/zh-Hant/practice/batch-20261014-advance-20261031-r03-convergence-in-distribution-foundations/#q-20261014-advance-20261031-r03-convergence-in-distribution-0057) 本頁是已完成第二對話 AI 數理與中英語義覆核的教學詳解，只支持本題明示的模型與前提。沒有人工審查或新 Lean 證明，也不提升原題或 MKO 的 Canonical 真值狀態。 R0030-15732 · q-20261014-advance-20261031-r03-convergence-in-distribution-0057 ## 原題與已知條件 Bernoulli symbolic tail與極限CDF。操作=convdist-continuity-obligation；資料={"p":[7,30],"threshold":[-6,7]}。請依 [p,threshold,continuity_point,definition_obligation] 欄序回答。 - G001 — Bernoulli symbolic tail與極限CDF。操作=convdist-continuity-obligation；資料={"p":[7,30],"threshold":[-6,7]}。請依 [p,threshold,continuity_point,definition_obligation] 欄序回答。 ## 定義與適用範圍 沿用原題明示的論域、假設與來源 MKO 定義。本題已完成第二對話數理與中英語義覆核，並由原始參數逐題獨立重算模型、答案與每個算術步驟；原題仍為 candidate。 - [mko-convergence-in-distribution](https://ocme.evemisslab.com/zh-Hant/mko/mko-convergence-in-distribution/) ## 逐步推導 S001 · calculation操作前 interior Bernoulli limit mass at0 := sub(1, 7/30) 操作後 interior Bernoulli limit mass at0 = 23/30 條件：無 依原始角色及已核中間量精確計算，保留索引、符號、分母與運算所在載體。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001 S002 · implies操作前 original limit parameter=[7, 30];reduced p=7/30;mass at0=23/30;mass at1=7/30 操作後 both endpoint masses positive;only limit-CDF jumps at0 and1;registered interior projection 條件：無 先遵守原英文0