g.h. hardy and e.m. wright