Верно ли, что если сумма обратных величин для некоторого множества натуральных чисел расходится, то в этом множестве можно найти сколь угодно длинные арифметические прогрессии?