1
$\begingroup$

How to prove the following result:

$$\prod_{i=1}^{n}P_i=\frac{2^{(P_n+3)/2}}{\sqrt{\pi}} \gamma (1+P_n/2) \cdot \frac1R$$

where $R$ is the product the odd composite natural numbers less than $P_n$ and $n>2$.

| cite | improve this question | |
$\endgroup$
  • $\begingroup$ What's $\gamma$? $\endgroup$ – Gerry Myerson Mar 9 '14 at 11:41
  • $\begingroup$ Are you still here, Manjil? Do you have any thoughts on the answer I posted? $\endgroup$ – Gerry Myerson Mar 11 '14 at 5:40
  • $\begingroup$ $\gamma$ is the Euler's function. Sorry I was off the loop for a while. $\endgroup$ – Manjil P. Saikia Mar 17 '14 at 14:05
  • $\begingroup$ Welcome back. So: any thoughts on the two answers that have been posted? $\endgroup$ – Gerry Myerson Mar 17 '14 at 22:39
  • $\begingroup$ This is the way I originally thought, but I don't know how does one get a formula involving $\pi$ and $\gamma$? $\endgroup$ – Manjil P. Saikia Mar 18 '14 at 10:44
3
$\begingroup$

Note that $R\prod_1^nP_i$ is just twice the product of all the odd numbers up to $P_n$, and that product of odd numbers is $(P_n+1)!$ divided by the product of the even numbers up to $P_n+1$, and that product in turn is $2^{(P_n+1)/2}$ times the factorial of $(P_n+1)/2$.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Having worked a lot recently with $(2n)!!$, this looks right (+1) Of course, it would be nice to know what $\gamma$ is. $\endgroup$ – robjohn♦ Mar 12 '14 at 20:07
  • $\begingroup$ @rob, I'm guessing it's the Gamma function. But only OP knows, and he/she is maintaining radio silence. $\endgroup$ – Gerry Myerson Mar 12 '14 at 22:13
1
$\begingroup$

Depending on what $\gamma$ is, here is an asymptotic approximation: $$ \begin{align} R\prod_{i=1}^nP_i &=P_n!!\\ &=\frac{(P_n+1)!}{2^{(P_n+1)/2}\left(\frac{P_n+1}{2}\right)!}\\ &\sim\frac1{\sqrt2}\left(\frac{P_n+1}{e}\right)^{\frac{P_i+1}{2}} \end{align} $$

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.