я вчера поспал 2 часа, хотел дома уснуть, в итоге минут 20 поспал и не уснул
тогда держи задачу
рассмотрим строго возрастающую последовательность натуральных чисел a_{n + 1} > a_{n}
назовём lim_{n->inf} n/a_{n} плотностью последовательности
заметим, что для арифметической прогрессии её плотность больше нуля
доказать, что в любой последовательности с плотностью больше 0 можно найти сколь угодно длинную (конечную) подпоследовательность, которая является арифметической прогрессией