Questions on proving, manipulating and applying inequalities.

learn more… | top users | synonyms (1)

1
vote
4answers
424 views

Proving the inequality $|a-b| \leq |a-c| + |c-b|$ for real $a,b,c$

Let $a,b,c$ real numbers. Prove the inequality $|a-b| \leq |a-c| + |c-b|$. Prove that equality holds if and only if $a \leq c \leq b$ or $b \leq c \leq a$. I've tried starting with just $a \leq ...
1
vote
2answers
212 views

Prove by induction that $n! > n^2$ [duplicate]

How does one prove by induction that $n! > n^2$ for $n \geq 4$
0
votes
2answers
93 views

Putnam and Beyond AM-GM help

From Putnam and Beyond: The Solution is: The only part I do NOT understand is how: $a_k + b_k = 1$ for every $k$? The problem just specifies nonnegative numbers?
20
votes
4answers
1k views

Prove $\sqrt{x^2+yz+2}+\sqrt{y^2+zx+2}+\sqrt{z^2+xy+2}\ge 6$, given $x+y+z=3$ and $x,y,z\ge0$

Let $x+y+z=3,x,y,z\ge 0$,show that $$\sqrt{x^2+yz+2}+\sqrt{y^2+zx+2}+\sqrt{z^2+xy+2}\ge 6$$ Additional information I have seen the following problem: $x,y,z>0,x+y+z=3$, prove that ...
25
votes
4answers
1k views

Prove that $2^{2^{\sqrt3}}>10$

With a computer or calculator, it is easy to show that $$ 2^{2^\sqrt{3}} = 10.000478 \ldots > 10. $$ How can we prove that $2^{2^{\sqrt3}}>10$ without a calculator?
15
votes
2answers
800 views

Inequality. $\sqrt{\frac{11a}{5a+6b}}+\sqrt{\frac{11b}{5b+6c}}+\sqrt{\frac{11c}{5c+6a}} \leq 3$

Let $a,b,c$ be positive numbers . Prove the following inequality: $$\sqrt{\frac{11a}{5a+6b}}+\sqrt{\frac{11b}{5b+6c}}+\sqrt{\frac{11c}{5c+6a}} \leq 3.$$ What I tried: I used ...
24
votes
1answer
1k views

Computing the best constant in classical Hardy's inequality

Classical Hardy's inequality (cfr. Hardy-Littlewood-Polya Inequalities, Theorem 327) If $p>1$, $f(x) \ge 0$ and $F(x)=\int_0^xf(y)\, dy$ then $$\tag{H} \int_0^\infty ...
11
votes
1answer
664 views

How to prove $\frac{1}{4}(\frac{a^2}{b}+\frac{b^2}{c}+\frac{c^2}{d}+\frac{d^2}{a})\ge \sqrt[4]{\frac{a^4+b^4+c^4+d^4}{4}}$

Let $a,b,c,d>0$, show that $$\dfrac{1}{4}\left(\dfrac{a^2}{b}+\dfrac{b^2}{c}+\dfrac{c^2}{d}+\dfrac{d^2}{a}\right)\ge \sqrt[4]{\dfrac{a^4+b^4+c^4+d^4}{4}}$$ I know this is interesting ...
13
votes
8answers
906 views

prove $\frac{1}{ n+1}+\frac{1}{ n+2}+\cdots+\frac{1}{2n}<\frac{25}{36}$ by mathematical induction

How to prove $$\frac{1}{ n+1}+\frac{1}{ n+2}+\cdots+\frac{1}{2n}<\frac{25}{36}$$ by Mathematical induction,n$\ge $1
25
votes
2answers
847 views

How to prove this inequality(7)?

let $x,y,z\in\mathbb{R}$, prove that $$4(x^6+y^6+z^6)+5(x^5y+y^5z+z^5x)\ge\dfrac{(x+y+z)^6}{27}$$ I do this sometimes, and I think this problem,is very hard,I hope someone can solve.Thank you By ...
11
votes
1answer
474 views

A unsolved puzzle from Number Theory/ Functional inequalities

The function $g:[0,1]\to[0,1]$ is continuously differentiable and increasing. Also, $g(0)=0$ and $g(1)=1$. Continuity and differentiability of higher orders can be assumed if necessary. The ...
6
votes
2answers
192 views

prove $\frac {ab}{a+b} \geq \sum ^n_{i=1} \frac{a_ib_i}{a_i+b_i}$

If $a_i$ and $b_i$ are positive, and $b= \sum ^n_{i=1} b_i$,$a= \sum ^n_{i=1} a_i$ prove $$\frac {ab}{a+b} \geq \sum ^n_{i=1} \frac{a_ib_i}{a_i+b_i}$$ Additional: we should just use Cauchy ...
6
votes
3answers
752 views

How prove this inequality: $\sum_{i,j=1}^{n}|x_{i}+x_{j}|\ge n\sum_{i=1}^{n}|x_{i}|$? [duplicate]

Let $x_{1},x_{2},\cdots,x_{n}$ be real numbers. Show that $$\sum_{i,j=1}^{n}|x_{i}+x_{j}|\ge n\sum_{i=1}^{n}|x_{i}|.$$ I think this problem may be solved using nice methods, but I can't find ...
4
votes
6answers
200 views

Summation inductional proof: $\frac{1}{1^2}+\frac{1}{2^2}+\frac{1}{3^2}+\ldots+\frac{1}{n^2}<2$ [duplicate]

Having the following inequality $$\frac{1}{1^2}+\frac{1}{2^2}+\frac{1}{3^2}+\ldots+\frac{1}{n^2}<2$$ To prove it for all natural numbers is it enough to show that: ...
12
votes
3answers
811 views

cosh x inequality

While reading an article on Hoeffding's Inequality, I came across a curious inequality. Namely $$\cosh x \leq e^{x^2/2} \quad \forall x \in \mathbb{R}$$ I tried many ways to prove it and finally, ...
11
votes
2answers
5k views

Intuition behind logarithm inequality: $1 - \frac1x \leq \log x \leq x-1$

One of fundamental inequalities on logarithm is: $$ 1 - \frac1x \leq \log x \leq x-1 \quad\text{for all $x > 0$},$$ which you may prefer write in the form of $$ \frac{x}{1+x} \leq \log{(1+x)} \leq ...
11
votes
6answers
10k views

How to prove $\log n < n$?

Sorry if this is a silly question but most books claim $\log n < n$ for $n \geq 1$ without providing any proof, saying it's too obvious. Could someone give me a rigorous proof? Is there some trick ...
10
votes
2answers
1k views

Proof of an inequality: $\sqrt{n} < \frac{1}{\sqrt{1}} + \frac{1}{\sqrt{2}} + \cdots + \frac{1}{\sqrt{n}}$ [duplicate]

Possible Duplicate: Proving $\sum\limits_{k=1}^{n}{\frac{1}{\sqrt{k}}\ge\sqrt{n}}$ with induction How do I prove the following? $$\sqrt{n} < \dfrac{1}{\sqrt{1}} + \dfrac{1}{\sqrt{2}} + ...
9
votes
5answers
585 views

Improving bound on $\sqrt{2 \sqrt{3 \sqrt{4 \ldots}}}$

An old challenge problem I saw asked to prove that $\sqrt{2 \sqrt{3 \sqrt{4 \ldots}}} < 3$. A simple calculation shows the actual value seems to be around $2.8$, which is pretty close to $3$ but ...
9
votes
3answers
1k views

Proofs of the Cauchy-Schwarz Inequality?

How many proofs of the Cauchy-Schwarz inequality are there? Is there some kind of reference that lists all of these proofs?
5
votes
4answers
238 views

Help in proving $ \left( 1 + \frac{1}{n} \right)^{n} \leq \sum\limits_{k=0}^{n} \frac{1}{k!} < 3 $.

I am trying to prove this statement for all $ n \geq 1 $ using induction: $$ \left( 1 + \frac{1}{n} \right)^{n} \leq \sum_{k=0}^{n} \frac{1}{k!} < 3. $$ I said: Base case $ n = 1 $: $$ \left( ...
5
votes
1answer
2k views

Minkowski's inequality

Minkowski's inequality says the following: For every sequence of scalars $a = (a_i)$ and $b = (b_i)$, and for $1 \leq p \leq \infty$ we have: $||a+b||_{p} \leq ||a||_{p}+ ||b||_{p}$. Note that ...
2
votes
1answer
189 views

Rudin: Problem Chp3.11 and need advice.

I am working on the following problems and I have a couple of questions. Suppose $a_n>0, s_n = \sum_{i = 1}^{n}$ and $\Sigma a_n$ diverges. RTP (a) $\Sigma \frac{a_n}{1+a_n}$ ...
14
votes
2answers
431 views

A conjecture concerning primes and algebra

A monoid morphism $\psi:\mathbb Z_+\!\!\rightarrow\mathbb Z_+$ is defined by an arbitrary function $f:\mathbb Z_+\!\!\rightarrow\mathbb Z_+$ and defines a group homomorphism $\varphi:\mathbb ...
12
votes
6answers
461 views

How do I prove that $3<\pi<4$?

Let's not invoke the polynomial expansion of $\arctan$ function. I remember I saw somewhere here a very simple proof showing that $3<\pi<4$ but I don't remember where I saw it.. (I remember ...
7
votes
5answers
286 views

Show that $\frac{xy}{z} + \frac{xz}{y} + \frac{yz}{x} \geq x+y+z $ by considering homogeneity

Well, I'm preparing for an undergrad competition that is held in April and because of that I've been trying to solve the inequalities I find on the internet. I found this problem: $$\displaystyle ...
7
votes
4answers
549 views

Prove that $ \left(1+\frac a b \right) \left(1+\frac b c \right)\left(1+\frac c a \right) \geq 2\left(1+ \frac{a+b+c}{\sqrt[3]{abc}}\right)$.

Given $a,b,c>0$, prove that $\displaystyle \left(1+\frac a b \right) \left(1+\frac b c \right)\left(1+\frac c a \right) \geq 2\left(1+ \frac{a+b+c}{\sqrt[3]{abc}}\right)$. I expanded the LHS, ...
4
votes
4answers
244 views

Prove that $a^2+ab+b^2\ge 0$

How to prove that $a^2+ab+b^2\ge 0$? Obviously the squares are positive, but how can I be sure that $ab$ doesn't become too negative with a certain combination of $a$ and $b$?
3
votes
5answers
13k views

How to solve inequalities with absolute values on both sides?

If you have an inequality that has two absolute value bars like $|4x+1|<|3x|$, how do you go about doing this? I know that if $4x+1<3x$, then those $x$'s will work but what else do I do? I think ...
12
votes
3answers
268 views

When does a variable leave a basis (in linear programming)?

In the simplex algorithm in linear programming, what are conditions for a variable to leave a basis (not necessarily basis for the/an optimal solution)? I'm supposed to list as many sufficient and ...
10
votes
5answers
7k views

Greatest prime factor of $n$ is less than square root of $n$, proof

I remember reading this somewhere but I cannot locate the proof.
9
votes
3answers
249 views

Proving the inequality $4\ge a^2b+b^2c+c^2a+abc$

So, a,b,c are non-negative real numbers for which holds that $a+b+c=3$. Prove the following inequality: $$4\ge a^2b+b^2c+c^2a+abc$$ For now I have only tried to write the inequality as ...
9
votes
5answers
8k views

Negating A Mathematical Statement

Regard this statement $ x \ge 0$. According to my teacher, by negating this statement, it will become $ x < 0$. Why is this so; why does the $\ge$ morph into $<$, and not into $\le$?
5
votes
1answer
2k views

Liapunov's Inequality for $L_p$ spaces

Let $1 \leq p,q < \infty$ and $0 \leq \lambda \leq 1$. If $r = \lambda p + (1 - \lambda)q$ and $f \in L_p \cap L_q $, then $$||f||_r^r \leq ||f||_p^{\lambda p} ||f||_q^{(1 - \lambda)q} \tag{*}$$ ...
4
votes
5answers
283 views

Simple AM-GM inequality

Let $a,b,c$ positive real numbers such that $a+b+c=3$, using only AM-GM inequalities show that $$ a+b+c \geq ab+bc+ca $$ I was able to prove that $$ \begin{align} a^2+b^2+c^2 ...
3
votes
3answers
450 views

How to prove that $\frac{a+b}{2} \geq \sqrt{ab}$ for $a,b>0$? [duplicate]

I am reading a chapter about mathematical proofs. As an example there is: Prove that: $$(1) \space\space\space\space\space\space\space\space\space\space\space \frac{a+b}{2} \geq \sqrt{ab}$$ for ...
2
votes
2answers
487 views

Mean Value Theorem: $\frac{2}{\pi}<\frac{\sin x}{x}<1$

I need to show that $\dfrac{2}{\pi}<\dfrac{\sin(x)}{x}<1$ for $0<x<\dfrac{\pi}{2}$. I know I need to use the mean value theorem, would I just say that since $f$ is continuous in the ...
13
votes
3answers
1k views

Motivation for triangle inequality

Triangle inequality is used in one context or the other in analysis. To list a few $$ \|x+y\| \leq \|x\| + \|y\| $$ $$ d(x,y) \leq d(x,z) + d(z,y) $$ $$ \mu(A \cup B) \leq \mu(A) + \mu(B) $$ What ...
9
votes
0answers
191 views

Could this approximation be made simpler ? Solve $n!=a^n 10^k$

I need to find the smallest value of $n$ such that $$\frac{a^n}{n!}\leq 10^{-k}$$ in which $a$ and $k$ are given (these can be large numbers). I set the problem as : solve for $n$ the equation ...
9
votes
5answers
801 views

A gamma function inequality

I would like to prove $$\frac{\Gamma(n+\frac{1}{2})}{\Gamma(n+1)} \le \frac{1}{\sqrt{n}}$$ for all natural $n \ge 1$. The inequality does seem to be true numerically, but the proof eludes me.
8
votes
3answers
176 views

Math Induction Proof: $(1+\frac1n)^n < n$

So I have to prove: For each natural number greater than or equal to 3, $$(1+\frac1n)^n<n$$ My work: Basis step: $n=3$ $$\left(1+\frac13\right)^3<3$$ $$\left(\frac43\right)^3<3$$ ...
7
votes
5answers
658 views

Is this direct proof of an inequality wrong?

My professor graded my proof as a zero, and I'm having a hard time seeing why it would be graded as such. Either he made a mistake while grading or I'm lacking in my understanding. Hopefully someone ...
7
votes
2answers
456 views

Prove the general arithmetic-geometric mean inequality

Prove that the general arithmetic-geometric mean inequality \begin{equation*} (a_{1}a_{2}...a_{n})^\frac{1}{n}\leq\frac{a_{1}+a_{2}+...+a_{n}}{n} \end{equation*} holds for all $a_{i}$ positive real ...
6
votes
2answers
76 views

How to prove that for $n \in \mathbb{N}$ we have $\sum_{k=2}^n \frac{1}{k}\leq \ln(n) \leq \sum_{k=1}^{n-1} \frac{1}{k}$

Prove that for $n \in \mathbb{N}$ we have $\sum_{k=2}^n \frac{1}{k}\leq \ln(n) \leq \sum_{k=1}^{n-1} \frac{1}{k}$ by using Riemann integral?
6
votes
3answers
2k views

Known proofs of Wirtinger's Inequality?

I am looking for proofs of the (Poincare-) Wirtinger inequality which states that if $f:[0,\pi]\to \mathbb{C}$ is $C^1$ and $f(0)=f(\pi)=0$ then \begin{equation} \int_0^\pi |f(t)|^2 dt \leq \int_0^\pi ...
6
votes
1answer
2k views

Understanding the relationship of the $L^1$ norm to the total variation distance of probability measures, and the variance bound on it

I am trying to find a bound for variance of an arbitrary distribution $f_Y$ given a bound of a Kullback-Leiber divergence from a zero-mean Gaussian to $f_Y$, as I've explained in this related ...
5
votes
4answers
209 views

Prove that $\frac{n^n}{3^n} < n! < \frac{n^n}{2^n} \forall n \geq 6 $

Prove that $$\frac{n^n}{3^n} < n! < \frac{n^n}{2^n} \forall n \geq 6 $$ I'm trying induction, this is what I have so far: Basecase $(n=6): 64<720<729$ is true. Inductive Case: Assume ...
4
votes
4answers
103 views

How can I show that $n! \leqslant (\frac{n+1}{2})^n$?

Show that $$n! \leqslant (\frac{n+1}{2})^n \quad \hbox{for all } n \in \mathbb{N}$$ I know that it can be done by induction but I always find line where I do not know what to do next.
4
votes
8answers
4k views

Prove that $e^x\ge x+1$ for all real $x$ [duplicate]

Without using differentiation, logarithmic function, rigorously, prove that $$e^x\ge x+1$$ for all real values of $x$.
3
votes
4answers
288 views

Triangle Inequality with Complex Numbers

I was wondering how to prove the triangle inequality with complex numbers: Verify that the function $d(z_1, z_2)$ is a distance funtion on $\mathbb{C}$ and also on any subdomain on $\mathbb{C}$. I ...