# Questions tagged [inequality]

Questions on proving, manipulating and applying inequalities.

2,884 questions
0answers
328 views

0answers
284 views

### Hilbert's Inequality - improved???

Assume for convenience that $a_n\ge0$ (this also clarifies why certain inequalities below are in fact stronger than certain other inequalities below). Of the various inequalities Hilbert proved, I'm ...
0answers
883 views

### How to prove this polynomial inequality?

How can we prove the following? If $\frac{dP_{n}}{dz}|_{z=z_{0}}=0$ then $|P_{n}(z_{0})|<2$ for all $n>1$, where $P_{n}(z)\equiv P_{n-1}^{2}+z$ and $P_{1}\equiv z$ $z$ is in the complex plane. ...
0answers
271 views

0answers
327 views

0answers
387 views

### Is Hoeffding's bound tight in any way?

The inequality: $$\Pr(\overline X - \mathrm{E}[\overline X] \geq t) \leq \exp \left( - \frac{2n^2t^2}{\sum_{i=1}^n (b_i - a_i)^2} \right)$$ Is this bound (or any other form of hoeffding) tight in ...
0answers
339 views

0answers
45 views

0answers
86 views

0answers
1k views

### My favorite proof of the generalized AM-GM inequality: where it came from?

I have already posted (most of) the present question as a (misplaced) answer to a question about understanding a particular proof of the AM-GM inequality. I sincerely hope I am not breaking the code ...
0answers
341 views

### Does the Gagliardo–Nirenberg interpolation inequality hold on compact closed manifolds?

The Gagliardo–Nirenberg interpolation inequality on a bounded domain is of the form $$|D^j u|_{L^p} \leq C_1|D^m u|_{L^r}^\alpha|u|_{L^q}^{1-\alpha} + C_2|u|_{L^s}$$ where are there restrictions on ...
0answers
190 views

### Solution set of inequalities in $\mathbb{R}^6$

Let $\theta\in (0,1)$ fixed. We define $A_1$ be the set of all $(a_1,a_2,a_3,a_4,a_5,a_6)\in (0,1)^6$ such that the following conditions hold: \begin{equation} (1) \quad a_2\le a_1, a_4\le a_3, a_6 \...
0answers
486 views

### Inequality between incomplete beta and gamma functions

Let the regularized incomplete beta and gamma functions be defined as usual: \begin{equation} I_p(z,w) = \frac a {B(z,w)} \int_0^p t^{z-1} (1-t)^{w-1} \,\mathrm dt, \end{equation} \begin{equation} \...
0answers
2k views

### Proving the Power Mean Inequality using Chebyshev's sum inequality

Question: Can Chebyshev's sum inequality be used to prove the generalized mean inequality, or at least a portion of it? If we let $$P(r) = \sqrt[r]{\frac{x_1^r + x_2^r + \cdots +x_n^r}{n}}$$, we have ...
0answers
271 views

### Solving a system of linear inequalities

I have a personal problem I want to solve. I have a system of linear inequalities with 97 unknowns and 150000 ineqaulities, I think formal notation of the problem should be something like this \begin{...
0answers
329 views

### Behaviour at infinity of a function in terms of first and second derivatives

In a paper (dealing with spectra of certain Schrodinger operators) I found the following assumption for a function $f\in C^\infty(\mathbb R^n;\mathbb R)$: there exists a constant $C>0$ and a ...
0answers
206 views

0answers
121 views

### An annoying optimization problem

At first I thought the following problem looked simple, but I've had serious problems pinning it down: Suppose that $\prod_{i=1}^k x_i$ is fixed. Then find the minimum value of \sum_{i=1}^k (1 - ...
0answers
80 views

### Inequality involving power to fractional part of integer multiples of logarithm of integer to coprime base.

For $x \in \mathbb{R}^+$, let $\{x\} = x - \lfloor x \rfloor$ denote the fractional part of $x$. Let $k \in \mathbb{N}$. Show that $2^{\{k \log_2(3)\}} < \dfrac{2}{1 + 2^{-k}}$ for $k > 1$. ...
0answers
141 views