Talk:First Hardy–Littlewood conjecture