Redirecting to Ramanujan–Petersson conjecture