P
Initializing...
Ramanujan's bound $|\tau(p)|\le 2p^{11/2}$ (Deligne 1974) · Prove2Me