Question on math in "A Technical Explanation of Technical Explanation" — LessWrong