Related papers: A Maclaurin type inequality

We prove a functional extension of an exponential inequality originally proposed by Bin Zhao and proved by Xiaosheng Mou. The main result asserts that if $\alpha_1\leq \cdots\leq \alpha_n$ and $\sum_{k=1}^n \alpha_k=0$, then \[ \sum_{k=1}^n…

The multilinear Hardy--Littlewood inequalities provide estimates for the sum of the coefficients of multilinear forms $T:\ell_{p_{1}}^{n}\times\cdots \times\ell_{p_{m}}^{n}\rightarrow\mathbb{R}$ (or $\mathbb{C}$) when…

We characterize continuous, symmetric and homogeneous means $M$ that can be represented in the form \begin{equation*} \frac{1}{M(x,y)}=\int_0^1 \frac{dt}{N\left(\tfrac{x+y}{2}-t\tfrac{x-y}{2},\tfrac{x+y}{2}+t\tfrac{x-y}{2}\right)}.…

The $n$-linear Bohnenblust-Hille inequality asserts that there is a constant $C_{n}\in\lbrack1,\infty)$ such that the $\ell_{\frac{2n}{n+1}}$-norm of $(U(e_{i_{^{1}}},...,e_{i_{n}}))_{i_{1},...i_{n}=1}^{N}$is bounded above by $C_{n}$ times…

A family of vectors $A \subset [k]^n$ is said to be intersecting if any two elements of $A$ agree on at least one coordinate. We prove, for fixed $k \ge 3$, that the size of a symmetric intersecting subfamily of $[k]^n$ is $o(k^n)$, which…

The classical inequality of Bohr asserts that if a power series converges in the unit disk and its sum has modulus less than or equal to $1$, then the sum of absolute values of its terms is less than or equal to $1$ for the subdisk…

We present a short proof of MacMahon's classic result that the number of permutations with $k$ inversions equals the number whose major index (sum of positions at which descents occur) is $k$

The fundamental theorem of symmetric polynomials over rings is a classical result which states that every unital commutative ring is fully elementary, i.e. we can express symmetric polynomials with elementary ones in a unique way. The…

We are continuing out studies of the so-called Markov inequalities with a majorant. Inequalities of this type provide a bound for the $k$-th derivative of an algebraic polynomial when the latter is bounded by a certain curved majorant…

Lines and circles pose significant scalability challenges in synthetic geometry. A line with $n$ points implies ${n \choose 3}$ collinearity atoms, or alternatively, when lines are represented as functions, equality among ${n \choose 2}$…

Let $\mu(n)$ be the M\"{o}bius function and $e(\alpha)=e^{2\pi i\alpha}$. In this paper, we study upper bounds of the classical sum $$S(x,\alpha):=\sum_{1\leq n\leq x}\mu(n)e(\alpha n).$$ We can improve some classical results of Baker and…

We answer a question raised by Lanier about the possibility of generating $A_n$ and $S_n$ with two elements of order $k$, where $n \geqslant k \geqslant 3$. We show that this can always be done apart from some clear exceptions.

For any fixed $k\geq 2$, we prove that every sufficiently large integer can be expressed as the sum of a $k$th power of a prime and a number with at most $M(k)=6k$ prime factors. For sufficiently large $k$ we also show that one can take…

Inequalities among symmetric polynomial functions are fundamental questions in mathematics and have various applications in science and engineering. This paper investigates a beautiful and inspiring conjecture, proposed by Cuttler, Greene…

In this paper, we prove the following inequality: for any $x, y>0$, there holds $$\big|x\sin\frac{1}{x} - y\sin\frac{1}{y} \big| \leq \sqrt{2|x - y|}.$$

In this paper we generalize the notion of the comparative index for the pair of Lagrangian subspaces which has fundamental applications in oscillation theory of symplectic difference systems and linear differential Hamiltonian systems. We…

Let $a$ and $b$ be positive integers. In 1946, Erd\H{o}s and Niven proved that there are only finitely many positive integers $n$ for which one or more of the elementary symmetric functions of $1/b, 1/(a+b),..., 1/(an-a+b)$ are integers. In…

In 1946, P. Erd\H{o}s and I. Niven proved that there are only finitely many positive integers $n$ for which one or more of the elementary symmetric functions of $1,1 / 2$, $\cdots, 1 / n$ are integers. In 2012, Y. Chen and M. Tang proved…

Motivated by previous work leveraging factorizations of second- and fourth-order differential operators, a general integral inequality involving higher order derivatives is proven by elementary means. It is then shown how this framework…

In 2011, W. Lang derived a novel, explicit formula for the sum of powers of integers $S_k(n) = 1^k + 2^k + \cdots + n^k$ involving simultaneously the Stirling numbers of the first and second kind. In this note, we first recall and then…