Wei Dai comments on Approximating Solomonoff Induction