Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 36721

The Cauchy-Schwarz inequality states $|\langle x,y \rangle |\leq ||x||\cdot ||y||.$ Use this tag for questions related to the CS inequality and its applications.

9 votes

How to prove that $1/ ((y+z) x^4) + 1/ ((z+x) y^4) + 1/ ((x+y) z^4) \geq 3/2$ for $x, y, z>0...

$\newcommand\tH{\tilde H}$This problem is one of real algebraic geometry, which can be solved purely algorithmically. In Mathematica, such algorithms are implemented by Reduce and similar commands. He …
Iosif Pinelis's user avatar
5 votes

A probabilistic angle inequality

$\newcommand{\de}{\delta} \newcommand{\De}{\Delta} \newcommand{\ep}{\varepsilon} \newcommand{\ga}{\gamma} \newcommand{\Ga}{\Gamma} \newcommand{\la}{\lambda} \newcommand{\Si}{\Sigma} \newcommand{\thh}{ …
Iosif Pinelis's user avatar
6 votes
Accepted

A probabilistic angle inequality

$\newcommand{\de}{\delta} \newcommand{\De}{\Delta} \newcommand{\ep}{\varepsilon} \newcommand{\ga}{\gamma} \newcommand{\Ga}{\Gamma} \newcommand{\la}{\lambda} \newcommand{\Si}{\Sigma} \newcommand{\thh}{ …
Iosif Pinelis's user avatar
6 votes
Accepted

A moment inequality

This inequality is false in general, by homogeneity considerations. Indeed, it can be rewritten as $L(x)\ge R(x)$, where $L(x):=\left(\chi(0)\chi(2)-\chi(1)^{2}\right)\left(\chi(4)\chi(2)-\chi(3)^{2}\ …
Iosif Pinelis's user avatar
6 votes
Accepted

Prove inequality: $2\Big[ \sum_{k=0}^{n} (k+1) a_k \Big]^2 -\Big[1+ \sum_{k=0}^{n} a_k \Big]...

A counterexample is given by the following conditions: $n=185$, $$a_k=\sum_{j=k}^n b_j,\quad b_j:=\frac{c_j}{j+1}, \quad c_j:=\frac{1000}7\,1(j=47)+\frac{302}7\,1(j=185).$$ Indeed, then $a_0\ge\cdots …
Iosif Pinelis's user avatar
6 votes
Accepted

An inequality involving a sum of power terms

$\newcommand{\al}{\alpha} \newcommand{\de}{\delta} \newcommand{\De}{\Delta} \newcommand{\ep}{\varepsilon} \newcommand{\ga}{\gamma} \newcommand{\Ga}{\Gamma} \newcommand{\la}{\lambda} \newcommand{\Si}{\ …
Iosif Pinelis's user avatar
3 votes

Is it possible to find $f$ such that : $f$ is absolutely integrable, $f'$ is absolutely inte...

Indeed, disjoint tiny smooth spikes, of small heights and even much-much smaller widths, will do. Let $K\in C^\infty(\mathbb R)$ be such that $K\ge0$, $K(x)=0$ if $|x|>1/2$, and $a:=K(1/3)-K(0)\ne0 …
Iosif Pinelis's user avatar
6 votes
Accepted

Good upper bound for a certain sum

$\newcommand{\ga}{\gamma} $ Of course, without further assumptions on the $e_t$'s, no good bound can be given. However, looking at your examples, it appears that you are primarily interested in situat …
Iosif Pinelis's user avatar
5 votes
Accepted

The inequality $\int^\infty_0 (\sin(rt)r^3/\sinh^2(r)) dr\leq cte^{-At}$

This is to complement the answer by Carlo Beenakker by showing that $$I(t)\le\pi^4 te^{-\pi t}\tag{1}\label{1}$$ for real $t\ge0$, where $I(t)$ is the integral in question. Indeed, according to Carlo …
Iosif Pinelis's user avatar
4 votes
Accepted

Cauchy-Schwarz-like inequality with a power $p$ term

$\newcommand\th\theta\newcommand\R{\mathbb R}$This is false for any real $p>2$ (actually, this is false for any real $p>1$ such that $p\ne2$). Indeed, if this were true, then, by continuity, we could …
Iosif Pinelis's user avatar
5 votes
Accepted

Good upper-bound for $\mathbb E[|X-np|^r]$ where $X \sim \text{Binomial}(n,p)$ and $r \ge 1$

By the main result of the paper Exact Rosenthal-type bounds, we have $$E|X-np|^r\le c^r E|\Pi_\lambda-\lambda|^r $$ for real $r\in(2,\infty)\setminus(3,4)\setminus(4,5)$, where real $c>0$ and $\lambd …
Iosif Pinelis's user avatar
1 vote

An alternative proof of Bayesian Cramer-Rao

Perhaps, the following re-arrangement of the argument will help remove the mystery of the choice of $g(x,y)=\frac{\partial}{\partial x} \ln f(x,y)=\frac{f'_x(x,y)}{f(x,y)}$, where $f:=f_{X,Y}$ and ${} …
Iosif Pinelis's user avatar
1 vote
Accepted

Tight sublinear estimates for a triple partial binomial summation

This conjecture does not hold even in the case $\gamma=\gamma'=1/2$. Indeed, consider the values of $\ell,t,k$ such that $$|\ell-n/2|\ll\sqrt n,\ |t-n/2|\ll\sqrt n,\ |k-t/2|\ll\sqrt n,$$ where $A\l …
Iosif Pinelis's user avatar
1 vote

Properties of a function $C_\ell(\ell)$ which checks an inequality in ideal case (decreasing...

It is not enough to assume that $Y=C_l$ is decreasing in $l$. Indeed, if your inequality were true for all such $Y$, then its non-strict version would be true for all constant $Y$, say for $Y=1$ for a …
Iosif Pinelis's user avatar
4 votes
Accepted

Is there a tight lower bound for the expectation of the product of two positive valued rando...

$\newcommand{\de}{\delta} \newcommand{\si}{\sigma} \newcommand{\ep}{\varepsilon}$ Let us present the exact lower bound on $EXY$ in terms of $\mu_1:=\mu_X$, $\mu_2:=\mu_Y$, $\si_1:=\si_X$, $\si_2:=\si_ …
Iosif Pinelis's user avatar

15 30 50 per page