[math-fun] article by barry mazur on sato tate conjecture