What is the value of this nontrivial itegral:
$$\int_0^{+\infty} \left( \prod_{n = 1}^{+\infty} \cos \frac{x}{n}\right) \, \mbox d x$$
I don't know if there is nice closed answer with known constants.
What is the value of this nontrivial itegral:
$$\int_0^{+\infty} \left( \prod_{n = 1}^{+\infty} \cos \frac{x}{n}\right) \, \mbox d x$$
I don't know if there is nice closed answer with known constants.