reviewed
approved
proposed
editing
Equals (1/2) * Product_{k>=1) } 1 + 1/(2*k*Pi)^2. - Amiram Eldar, Jul 16 2020
Equals (1/2) * Product_{k>=1) 1 + 1/((/(2*k*Pi)^2. - Amiram Eldar, Jul 16 2020
Equals (1/2) * Product_{k>=1) 1 + 1/((2*k*Pi)^2. - Amiram Eldar, Jul 16 2020
(PARI) sinh(1/2) \\ Michel Marcus, Apr 25 2020