Intereting Posts

Expression from generators of Special Linear Groups II
Given $n$ linear functionals $f_k(x_1,\dotsc,x_n) = \sum_{j=1}^n (k-j)x_j$, what is the dimension of the subspace they annihilate?
Hatcher: S^2 having a CW complex of 5/6 vertices
Is there an effective algorithm to solve this binary integer linear programming?
Understanding countable ordinals (as trees, step by step)
Quantifier elimination for theory of equivalence relations
Prove that the additive groups $\mathbb{R}$ and $\mathbb{Q}$ are not isomorphic.
Given $x^3$ mod $55$, find its inverse
What are the symmetries of a colored rubiks cube?
Closed form for $\int_0^1\log\log\left(\frac{1}{x}+\sqrt{\frac{1}{x^2}-1}\right)\mathrm dx$
self similar solution for porous medium equation 3
Why algebraic closures?
Motivation behind introduction of measure theory
A simple(?) Analytical Geometry Question (Ellipse) my teacher can't solve
Proving a limit of a trigonometric function: $\lim_{x \to 2/\pi}\lfloor \sin \frac{1}{x} \rfloor=0$

I would like to prove:

$$\sum_{n=1}^{\infty} \frac{n!}{(2n)!} = \frac{1}{2}e^{1/4} \sqrt{\pi} \text{erf}(\frac{1}{2})$$

What I did was consider:

- Evaluation of the integral $\int_0^1 \frac{\ln(1 - x)}{1 + x}dx$
- Closed form for $\int \frac{1}{x^7 -1} dx$?
- How to link two curves?
- Fun Geometric Series Puzzle
- Calculation of $\lim_{x\rightarrow 0}\frac{\sin (\pi\cos^2 x)}{x^2}$
- How to prove that no two-to-one function can be continuous?

$$e^{-t^2}=\sum_{n=0}^{\infty} (-1)^n \frac{t^{2n}}{n!}$$

Then integrate term by term from $0$ to $x$ to get:

$$\frac{\sqrt{\pi}}{2}\text{erf} (x)=\sum_{n=0}^{\infty} (-1)^n \frac{x^{2n+1}}{n!(2n+1)}$$

Then I substituted in $x=\frac{1}{2}$ and tried some manipulations but didn’t get anywhere. May someone help, thanks.

- Prove if $|a_{n+1}|/|a_n| \leq |b_{n+1}|/|{b_n}|$ and $\sum |b_n|$ is convergent, then $\sum |a_n|$ is convergent
- Why does L'Hospital's rule work?
- Bounds on roots of polynomials
- Various evaluations of the series $\sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)^3}$
- Darboux Theorem Proof
- Necessity of a hypothesis in the fundamental theorem of calculus
- Area enclosed between the curves $y=x^2$ and $y=60-7x$
- Evaluation of $ \lim_{x\to 0}\left\lfloor \frac{x^2}{\sin x\cdot \tan x}\right\rfloor$
- p-series convergence
- Economically computing $d\beta$

We have $\frac{n!}{(2n)!}=\frac{B(n,n+1)}{(n-1)!}$, hence:

$$ \sum_{n\geq 1}\frac{n!}{(2n)!} = \int_{0}^{1}\sum_{n\geq 1}\frac{x^{n-1}(1-x)^n}{(n-1)!}\,dx = \int_{0}^{1}(1-x)e^{x(1-x)}\,dx$$

and the result follows by setting $x=t+\frac{1}{2}$ in the last integral, leading to $e^{1/4}\int_{0}^{\frac{1}{2}}e^{-u^2}\,du.$

- Nitpicky question about harmonic series
- Prove that the Gaussian rationals is the field of fractions of the Gaussian integers
- Show $\int_0^\infty f\left(x+\frac{1}{x}\right)\,\frac{\ln x}{x}\,dx=0$ if $f(x)$ is a bounded non-negative function
- Groups with 20 Sylow subgroups
- How many $n$-digit decimal sequences (using the digits $0 = 9$) are there in which the digits $1$, $2$ and $3$ all appear?
- Is the formal semantics of first-order logic ambiguous?
- Definition of boundedness in topological vector spaces
- Proving Distributivity of Matrix Multiplication
- Why is $PGL(2,4)$ isomorphic to $A_5$
- Fourier Series Representation $e^{ax}$
- If the Minkowski sum of two convex closed sets is a Euclidean ball, then can the two sets be anything other than Euclidean balls?
- Group covered by finitely many cosets
- Unpacking the Diagonal Lemma
- Why do we call a vector space in terms of vector space over some field?
- Dirac delta integral with $\delta(\infty) \cdot e^{\infty}$