Related papers: A Maclaurin type inequality

The Hardy--Littlewood inequalities for multilinear forms on sequence spaces state that for all positive integers $m,n\geq2$ and all $m$-linear forms $T:\ell_{p_{1}}^{n}\times\cdots\times\ell_{p_{m}}^{n}\rightarrow\mathbb{K}$…

We employ Clarkson's inequality to deduce that each extremal of Morrey's inequality is axially symmetric and is antisymmetric with respect to reflection about a plane orthogonal to its axis of symmetry. We also use symmetrization methods to…

The usual homogeneous form of equality type in Martin-L\"of Type Theory contains identifications between elements of the same type. By contrast, the heterogeneous form of equality contains identifications between elements of possibly…

In this note we revisit the classical geometric-arithmetic mean inequality and find a formula for the difference of the arithmetic and the geometric means of given $n\in\mathbb N$ nonnegative numbers $x_1,x_2,\dots,x_n$. The formula yields…

Equivalencies of many basic elementary inequalities are given

This paper shows the equivalence of the Riemann hypothesis to an sequence of elementary inequalities involving the harmonic numbers H_n, the sum of the reciprocals of the integers from 1 to n. It is a modification of a criterion due to Guy…

We show that for every $0 < \epsilon \leq 1$ and integer $k\geq 1$, there exists an integer $n = n(\epsilon,k)$ so that for all primes $p$, and integers $0 \leq a \leq p-1$, there exist integers $1 \leq x_1 < ... < x_n \leq p^\epsilon$ such…

For $k \in \mathbb{N}$, write $S(k)$ for the largest natural number such that there is a $k$-colouring of $\{1,\dots,S(k)\}$ with no monochromatic solution to $x-y=z^2$. That $S(k)$ exists is a result of Bergelson, and a simple example…

This preprint is a text for students and teachers on inequalities. Some standard topics are covered on application of calculus to inequality proving. Many examples are considered, stated, solved or partially solved. Some problems are…

For a complex number $x$, $\Vert x\Vert:=\min\{|x-m|:m\in\mathbb{Z}\}$. Let $k\geq 1$ be an integer, and $K$ be a number field. Let $\alpha_1,\ldots,\alpha_k$ be algebraic numbers with $|\alpha_i|\geq 1$ and let $d_i$ denotes the degree of…

We consider the equality of the values of the $n$th and $k$th elementary symmetric polynomials of $n$ not necessarily distinct positive integers. For $k < n$, we prove that this equation always has a solution, but only finitely many…

Let $\gamma_n$ be the standard Gaussian measure on $\mathbb{R}^n$. We prove that for every symmetric convex sets $K,L$ in $\mathbb{R}^n$ and every $\lambda\in(0,1)$, $$\gamma_n(\lambda K+(1-\lambda)L)^{\frac{1}{n}} \geq \lambda…

If $c_1(Z) \geq ... \geq c_n(Z)$ denote the Euclidean lengths of the column vectors of any $n \times n$ matrix $Z,$ then a fundamental inequality related to Hadamard products states that $$ \sum_{i=1}^k \sigma_i(X^*Y \circ B) \leq…

It is a classical result that the absolute value of any $k$-minor of an $r\times s$ real or complex matrix is bounded by the product of its first $k$ singular values. We generalize this statement to the context of real or complex simple…

We improve the classical discrete Hardy inequality \begin{equation*}\label{1} \sum _{{n=1}}^{\infty }a_{n}^{2}\geq \left({\frac {1}{2}}\right)^{2} \sum _{{n=1}}^{\infty }\left({\frac {a_{1}+a_{2}+\cdots +a_{n}}{n}}\right)^{2},…

For $0<q\le 2,\ 1\le k < n,$ let $X=(X_1,...,X_n)$ and $Y=(Y_1,...,Y_n)$ be symmetric $q$-stable random vectors so that the joint distributions of $X_1,...,X_k$ and $X_{k+1},...,X_n$ are equal to the joint distributions of $Y_1,...,Y_k$ and…

We prove the following exponential inequality: Let $n\geq 1$ and let $X_1,...,X_n$ be $n$ independent identically distributed symmetric real-valued random variables. For any $x,y>0$, we have \[\mathbb{P}\big({X_1+...+X_n}\geq x,\,…

The Pieri rule is an important theorem which explains how the operators e_k of multiplication by elementary symmetric functions act in the basis of Schur functions s_lambda. In this paper, for any rational number m/n, we study the…

In this note, we study a question introduced by Bourin \cite{2009Matrix} and partially solve the question of Bourin. In fact, for t\in[0,\frac{1}{4}]\cup[\frac{3}{4},1], we show that |||x^{t}y^{1-t}+y^{t}x^{1-t}|||\leq|||x+y|||, where…

Fatou's lemma is a classic fact in real analysis that states that the limit inferior of integrals of functions is greater than or equal to the integral of the inferior limit. This paper introduces a stronger inequality that holds uniformly…