P
Initializing...
JAO equation (34): the reward collected in the planted gadget is at most $T - \mathbb{E}_{\mathrm{unif}}[N_p] + \varepsilon D' \mathbb{E}_a[N_\circ^*]$ · Prove2Me