Re: simbolo produttoria in costrutto \begin{cases}

È la stessa cosa con \sum, usa \limits:
`\prod\limits_{k=j_{l-1}+1}^{j-1}`
Queso dovrebbe risolvere anche il problema del testo che deborda. Altrimenti puoi usare un \displaystyle davanti a \prod.