截断分布函数推导