式(A)はp=0で不連続だから
最新版の結論はけっきょく成り立たないんじゃないのかねえ