Tu pregunta es equivalente a mostrar que dada una constante \( a \) tenemos que \( \prod_{k=1}^n a=a^n \). El productorio lo que hace es hacer un producto con tantos multiplicandos como valores de \( k \) sean posibles, donde cada multiplicando puede depender, o no (como en este caso) de \( k \).
Por ejemplo, tendríamos que \( \prod_{k=1}^n k=1\cdot\prod_{k=2}^n k=1\cdot2\cdot\prod_{k=3}^nk=1\cdot2\cdot 3\cdots n \). En el caso de tu pregunta como el interior del productorio no depende de \( k \) entonces tendríamos que simplemente multiplica el mismo elemento \( n \) veces.
