# New post in Closed-form

August 1st, 2022

## How to evaluate double limit of multifactorial $\lim\limits_{k\to\infty}\lim\limits_{n\to 0} \sqrt[n]{n\underbrace{!!!!\cdots!}_{k\,\text{times}}}$

September 24th, 2021

## The closed form of $\int_0^{\pi/4}\frac{\log(1-x) \tan^2(x)}{1-x\tan^2(x)} \ dx$

November 22nd, 2020

## Integral $\int_0^\infty\frac{\ln\left(1+x+\sqrt{x^2+2\,x}\right)\,\ln\left(1+\sqrt{x^2+2\,x+2}\right)}{x^2+2x+1}dx$

November 25th, 2020

August 1st, 2022

April 20th, 2022

August 8th, 2020

August 1st, 2022

June 6th, 2020

August 1st, 2022

June 9th, 2020

August 1st, 2022

August 1st, 2022

## How can I prove $\pi=e^{3/2}\prod_{n=2}^{\infty}e\left(1-\frac{1}{n^2}\right)^{n^2}$?

September 15th, 2020

August 1st, 2022

March 14th, 2020

August 1st, 2022

August 1st, 2022

May 18th, 2020

May 19th, 2021

## Closed form for the sequence defined by $a_0=1$ and $a_{n+1} = a_n + a_n^{-1}$

September 22nd, 2020

July 9th, 2020

August 1st, 2022

March 18th, 2022

August 1st, 2022

May 29th, 2020

July 21st, 2020

August 1st, 2022

## Evaluating $\int_0^\pi\arctan\bigl(\frac{\ln\sin x}{x}\bigr)\mathrm{d}x$

February 27th, 2020

July 21st, 2020