几个细节证明如下:

几个引理:

generalization bound