2. В программе My7_2 реализован процесс, относительнокоторого выдвинута так называемая гипотеза Сиракуз. Этопроцесс последовательного преобразования натуральногочисла n в 1. Запустив программу, проверяем ее работу при не-скольких значениях n и видим, что предусмотренный резуль-тат каждый раз достигается. Отсюда мы делаем предположе-ние, что работа программы завершится, то есть результатбудет получен при любом значении n. Однако с достовернос-тью это неизвестно, доказательство факта завершения работыпрограммы (алгоритма) при любом значении n до сих пор ни-кем не получено7. Другими словами, есть алгоритм (програм-ма), но его конечность, завершаемость работы во времени —открытый вопрос, требующий своего обоснования. Мораль:проверка циклов типа While требует особо тщательной рабо-ты, ибо подобные циклы «потенциально бесконечны во време-ни». Program My7_2;Var n:Integer;BeginWriteLn('Введите натуральное число:');ReadLn(n);Write(n);While n<>1 Do BeginIf n Mod 2=0 Then n:=n Div 2Else n:=(3*n+1) Div 2;Write(' - ',n);End;ReadLn;End. Последовательно запуская программу, оцените среднююдлину получаемых цепочек чисел при изменении n от 2 до 20. Как избавиться от этой ручной работы по многократномузапуску программы?Рассматривая полученные цепочки чисел, нетрудно заме-тить, что фрагменты этих цепочек часто повторяются. Напри-мер, 8421, 5168421. Как использовать этотфакт при подсчете средней длины цепочек для чисел (n) избольшого интервала, например типа Integer? Потребуется ли вэтом случае что-либо изменять в приведенном фрагменте про-граммы?