Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
5,750
reputation
1
4
43

clathratus
top 2% this year

Apparently this user prefers to keep an air of cool dog about them.

My name is John. I'm a high-school student in California. I really like integrals, especially ones that are easy to generalize. I am also a fan of series and infinite products. I enjoy working with other people and seeing new ideas, so feel free to email me at joverton2020@gmail.com if you would like to collaborate. :)

A favorite identity of mine: $$\prod_{n=1}^{\infty}(en)^{9/10}\frac{E_n(\frac12)E_n(\frac7{12})E_n(\frac1{20})E_n(\frac{13}{20})}{E_n(\frac14)E_n(\frac1{12})E_n(\frac3{20})E_n(\frac{11}{20})}\\ =\exp\left[\frac{47\mathrm G}{30\pi}+\frac34\right]\sqrt{\frac{33}{91\pi}\sqrt{\frac2\pi\frac{\sqrt[5]{11}}{\sqrt[3]{7}}\sqrt[5]{\frac{3^3}{13^{3}}}}}$$ Where $$E_n(x)=\frac{(n+x)^{n+x}}{(n-x)^{n-x}}$$ and $\mathrm G$ is Catalan's constant. I discovered this identity while investigating the function $$\mathrm{L}(x)=\frac1\pi\int_0^{\pi x}\ln(\sin t)dt$$ See here for details.

Note to self.

248
answers
115
questions
~33k
people reached
  • San Francisco, CA, USA
  • Member for 9 months
  • 955 profile views
  • Last seen 10 mins ago

Top tags (127)

Score 170
Posts 218
Posts % 60
Score 118
Posts 127
Score 64
Posts 69
Score 28
Posts 58
Score 28
Posts 32
Score 28
Posts 29

Top posts (363) All Questions Answers | Votes Newest

View all questions and answers

Badges (48)

Gold

1

Rarest

Silver

4

Rarest

Bronze

43

Rarest