First Hardy–Littlewood conjecture