Research proof index

Snapping doesn't changed prob for close p

Soundness for any valid parameters

Bob wins the debate with probability ≥ 8/15

The stopped valued of the predictable part with respect to τₙ(c) is less than or equal to c.

The mesh step-extension of the discrete predictable part is strongly adapted.

If $(X_i)_{1 \leq i \leq m}$ is a $\tau$-minimizer, and $k := D[(X_i)_{1 \leq i \leq m}]$, then for any other tuples $(X'_i)_{1 \leq i \leq m}$ and $(Y_i)_{1 \leq i \leq m}$ with the $X'_i$ G$-valued, one has $k - D[(X'_i)_{1 \leq i \leq m} | (Y_i)_{1 \leq i \leq m}] \leq \eta \sum_{i=1}^m d[X_i; X'_i|Y_i].$