这是通过在时钟值为(1)时进行检查来实现的- r) σi在(1)提出索赔- r) vi,或者如果vi≥ σi.我们有ui(b′i)=Ai(b-i、 b′i)(κi)- p(b))=Ai(b)-i、 b′i)(rκi)≥ 0,(14)其中,第一个等式成立,因为b’总是在金钱上行使,而第二个等式成立,因为策略b’设计为总是付出代价(1)- r) κIupon赢得该项目。把(13)和(14)结合起来,让我*表示认购价值最高的投标人的身份,我们有福利≥ Ehp(b)+αui*(b)-我*, b\'i*)i=Ehp(b)+αAi*(b)-我*, b\'i*)(rκi)*)i、 (15)我们认为以下不等式适用于所有类型的概率θ和策略概率b:Ehp(b)+αAi*(b)-我*, b\'i*)(rκi)*)θ、 毕≥ (1 - E-α) κi*. (16) 由于我们同时对θ和b进行调节,剩下的唯一随机性是通过策略b′i对r进行随机抽样*, 这反过来可能会影响物品的分配和支付的价格。让p表示除我之外的投标人的价格*当我离开时,我会认领这件物品*e被排除在拍卖之外,其他投标人的策略文件为b-我*. 如果p>(1)-E-α) κi*那哎*(b)-我*, b\'i*) = 0和p(b)=p,所以不等式(16)的有效性是显而易见的。否则,设置κ=κi*为了方便起见,请注意投标人i*当且仅当(1)时赢得物品- r) κ>p,即r<1- p/κ。因此,我们有αAi*(b)-我*, b\'i*)(rκi)*)θ、 bi=α^1-p/κe-αrκf(r)dr=^1-p/κe-ακdr=κ1.- p/κ- E-α=1.- E-ακ - p、 注意到p(b)≥ 从点的角度来看,我们可以把E[p(b)|θ,b]加到左边,把p加到右边,得到不等式(16)。最后,结合不平等(15)和(16),我们发现,任何α-最佳反应的结果都能满足福利要求≥1.- E-αE[κi*].