Число Ферма спуска равняется сумме всех простых делителей, минус число всех делителей, делённое на наибольшее возможное

,
полученное число опять подразделяется на произведение простых делителей и т.д.
до получения простого числа, которое и является Fnl- Fermat numbers lowering.(число Ферма спуска.)
Этот метод позволит проанализировать, если предел роста для Fnl и если он
имеется, то возможно доказать, что все числа Ферма начиная с F5 составные.
Почему Fnl определяется именно так? И как вы собираетесь доказывать, что числа Ферма составные, если само вычисление Fnl требует факторизации соответствующего числа Ферма? Замкнутый круг.