Description: A finite product expressed in terms of a partial product of an infinite sequence. The recursive definition of a finite product follows from here. (Contributed by Scott Fenton, 14-Dec-2017)
Ref | Expression | ||
---|---|---|---|
Hypotheses | fprodser.1 | |
|
fprodser.2 | |
||
fprodser.3 | |
||
Assertion | fprodser | |