Spectral statistics of Erdős-Rényi graphs I: Local semicircle lawLászló Erdős, Antti Knowles, Horng-Tzer Yau, Jun Yinmath.PRmath-ph