что произведение и сумма производится по актуально бесконечному числу термов
Нет, термы же по определению все конечные.
Имеется в виду то, что их бесконечность штук
Вот я не понял, бесконечность каких именно штук?
зависимая функция с бесконечным типом аргумента = бесконечное произведение зависимая пара с бесконечным типов в первой компоненте = бесконечная сумма так не подходит?
Это становится формулой бесконечной длины?
Обсуждают сегодня