P

Initializing...

Theorem 5.1: monotonicity of $\mathbb E[S\mid T=t]$ in the session length · Prove2Me