AI 中文总结
本文针对Efron提出的自洽迭代算法，证明其可逼近Kaplan--Meier估计量这一不动点的收敛性，明确该估计量是迭代的极限函数。
AI 中文摘要
1967年Efron证明Kaplan--Meier估计量可定义为某映射的不动点，称该性质为“自洽性”，还提出逼近该不动点的迭代算法并推测其收敛性。本文旨在证明该收敛性事实。
英文摘要
In 1967 Efron showed that the Kaplan-Meier estimator can be defined as a fixed point of a certain mapping, calling this property ``self-consistency''. He also proposed an iterative algorithm for approximating this fixed point and suggested its convergence. The purpose of the present note is to prove this fact.
