Hay una manera fácil de evaluar la integral de la $\int_0^\pi \cos(x) \cos(2x) \cos(3x) \cos(4x)\, dx$?
Sé que puedo plugin de la $e$-la función y el uso de la linealidad de la integral. Sin embargo, esto llevaría a 16 sumandos que yo realmente no desea calcular por separado.