<s>[INST] Showing that $\sum_{n=0}^{\infty}\frac{2^{n+2}}{{2n\choose n}}\cdot\frac{n-1}{n+1}=(\pi-2)(\pi-4)$ Showing that
(1)
$$\sum_{n=0}^{\infty}\frac{2^{n+2}}{{2n\choose n}}\cdot\frac{n-1}{n+1}=(\pi-2)(\pi-4)$$

see here
(2)
$$(\arcsin(x))^2=\frac{1}{2}\sum_{n=1}^{\infty}\frac{(2x)^{2n}}{n^2{2n\choose n}}$$
Look very much similar to (1). How can I make the use of (2) to solve (1)?
Let try and differentiate (1)
$$\frac{d}{dx}\arcsin(x))^2=\frac{d}{dx}\frac{1}{2}\sum_{n=1}^{\infty}\frac{(2x)^{2n}}{n^2{2n\choose n}}$$
$$\arcsin(x)\cdot\frac{1}{\sqrt{1-x^2}}=2\sum_{n=1}^{\infty}\frac{(2x)^{2n-1}}{n{2n\choose n}}$$
Getting close but not near yet
I am stuck, any help please?
 [/INST] It is worth considering that:
$$ \frac{1}{\binom{2n}{n}}=\frac{n!^2}{(2n)!}=(2n+1)\cdot B(n+1,n+1)=(2n+1)\int_{0}^{1}x^n(1-x)^n\,dx \tag{1}$$
so:
$$\sum_{n\geq 0}\frac{2^{n+2}}{\binom{2n}{n}}=\int_{0}^{1}\frac{4+8x(1-x)}{(1-2x(1-x))^2}\,dx = 4\int_{-1}^{1}\frac{3-y^2}{(1+y^2)^2}\,dy=8+2\pi\tag{2}$$
as well as:
$$\begin{eqnarray*} \sum_{n\geq 0}\frac{2^{n+2}}{(n+1)\binom{2n}{n}}&=&4\int_{0}^{1}\int_{0}^{1}\frac{1+2xy-2x^2y}{(1-2xy+2x^2 y)^2}\,dx\,dy \\&=&8\int_{0}^{1}\frac{dx}{1-2x(1-x)}+2\int_{0}^{1}\frac{\log(1-2x(1-x))}{x(1-x)}\tag{3}\end{eqnarray*}$$
that is easy to compute through the substitution $y=2x-1$ as in $(2)$.
</s>