Houjun Liu
Yao's Next-Bit Prediction Lemma
if you can prove that for every \(i\), you can’t predict the