query: Prove $\int_t^{\infty} e^{-x^2/2}\,dx > e^{-t^2/2}\left(\frac{1}{t} - \frac{1}{t^3}\right)$
positive_passages.docid: 9938
positive_passages.text: Proof of upper-tail inequality for standard normal distribution
negative_passages.docid: 100744
negative_passages.text: Proof for divergence of $\int_1^\infty \cos(x^\frac{3}{4})$
negative_passages.docid: 78008
negative_passages.text: A conjectured closed form of $\int\limits_0^\infty\frac{x-1}{\sqrt{2^x-1}\ \ln\left(2^x-1\right)}dx$
negative_passages.docid: 83703
negative_passages.text: Show that $\int_{0}^{\infty}|\frac{\sin x}{x}|\,dx=\infty $
negative_passages.docid: 96505
negative_passages.text: Compute $\int_0^\infty \left(\frac{1}{x}\right)^{\ln(x)}\,\mathrm{d}x$
negative_passages.docid: 40564
negative_passages.text: Prove that $u(x,t)=\int_{-\infty}^{\infty}c(w)e^{-iwx}e^{-kw^2t}dw\rightarrow 0$ if $x\rightarrow \infty$
negative_passages.docid: 139774
negative_passages.text: On the inequality $ \int_{-\infty}^{+\infty}\frac{(p'(x))^2}{(p'(x))^2+(p(x))^2}\,dx \le n^{3/2}\pi.$
negative_passages.docid: 100569
negative_passages.text: Evaluating the improper integral $\int_{0}^{\infty} \frac{x^3}{e^{x}-1} dx$
negative_passages.docid: 34398
negative_passages.text: Prove $\left| \int_a^b f(t) dt \right| \leq \int_a^b \left| f(t) \right| dt$
negative_passages.docid: 50682
negative_passages.text: Prove: $\lim\limits_{n \to \infty} \int_{0}^{\sqrt n}(1-\frac{x^2}{n})^ndx=\int_{0}^{\infty} e^{-x^2}dx$
negative_passages.docid: 24716
negative_passages.text: $\int_0^\infty\frac{\log x dx}{x^2-1}$ with a hint.
negative_passages.docid: 45205
negative_passages.text: Showing that $\int_0^\infty x^{-x} \mathrm{d}x \leq 2$.
negative_passages.docid: 137640
negative_passages.text: Proof that $\sum_{1}^{\infty} \frac{1}{n^2} <2$
negative_passages.docid: 10036
negative_passages.text: Proof of $\int_0^\infty \left(\frac{\sin x}{x}\right)^2 \mathrm dx=\frac{\pi}{2}.$
negative_passages.docid: 48686
negative_passages.text: Show that $e^{-\beta} = \frac{1}{\sqrt{\pi}} \int_{0}^{\infty} \frac{e^{-u}}{\sqrt{u}} e^{-\beta^2 / 4u} du$.
negative_passages.docid: 140790
negative_passages.text: Prove that $E(X) = \int_{0}^{\infty} P(X>x)\,dx = \int_{0}^{\infty} (1-F_X(x))\,dx$.
negative_passages.docid: 44737
negative_passages.text: $ \int_{-\infty}^{\infty} x^4 e^{-ax^2} dx$