Math. proof of the superiority of independent guesses? — LessWrong