>>746後半は
RayleighとVinogradovが証明したんだっけ。
なんかRayleighでぐぐってもVinogradovでぐぐっても出てこないw