Redirecting to Hardy–Ramanujan theorem