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 not deleted user 9025

for questions involving inequalities, upper and lower bounds.

5 votes

An inequality improvement on AMM 11145

An extended comment that has a chance of being useful. First, note that if you interchange $a_k$ and $a_{k+1}$ then only the $k$-th term on the left side changes and the right side doesn't change at …
Brendan McKay's user avatar
1 vote

An inequality about the sum of some unit fractions with a property

This is not an answer, but I want to use displays. What you are asking is whether the coefficients of the taylor expansion of $$\left( \sum_{k=0}^\infty \frac{x^k}{(N-1)k+1} \right)^N$$ are all at mo …
Brendan McKay's user avatar
6 votes

Find the maximum of the value $c(n)$ (similar to Hardy's inequality)

On the basis of rather convincing numerical evidence (iterative optimisation that always converges to the same place regardless of starting point), I conjecture that the worst case is $$ a_i = \frac{i …
Brendan McKay's user avatar
10 votes
Accepted

Want to prove an inequality

Iosif's answer is very interesting and if anyone knows how to do the same thing in Maple I'd like to know. However I disagree with Iosif about the difficulty. Mathematica will use a systematic proced …
Brendan McKay's user avatar
1 vote

Two-Sided Bounds on Binomial Sum

If you want a more precise value you can expand $k^{-s}$ around $k=N/2$ and sum term by term. I get $$\frac{2^N}{(N/2)^s}\Bigl(1 + \frac{s(1+s)}{2N} + \frac{s(1+s)(2+s)(3+s)}{8N^2} + O(N^{-3})\Bigr). …
Brendan McKay's user avatar
8 votes
Accepted

Sum over integer compositions

Since the question is about compositions, there is a generating function approach when $\phi(a_1,\ldots,a_n)=\prod_i f(a_1)$ for some function $f$. Namely, $S(n,k)$ is the coefficient of $x^n$ in $\l …
Brendan McKay's user avatar
1 vote
Accepted

For which $p>p^*$ does the inequality $\cos^2(−π/4+π/p)>1/2+π/p^2$​ hold?

Sketch: Write $p=1/x$, so that you want to show $f(x) = \sin(\pi/4+\pi x)-1/2-\pi x^2\ge 0$ for $0\le x\le 0.355$ approximately. First, $f''(x)<0$ in $[0,1/2]$ (by a large margin), so $f'(x)$ is stric …
Brendan McKay's user avatar
3 votes

Variance of truncated normal distribution

This paper is relevant: E. Mailhot, Une propriété de la variance de certaines lois de probabilité réelles tronqées, C. R. Acad. Sci. Paris Sér. I Math. 301 (1985) 241–244. Mailhot proves that the va …
Brendan McKay's user avatar
0 votes

Power function inequality

Since the case $x=1$ is trivial, assume $x>1$ and divide both sides by $x-1$. It becomes $$(x+1)^{p-1}\ge \frac{x^p-1}{x-1} = 1 + x + x^2 + \cdots + x^{p-1}.$$ Expand the left side by the binomial the …
Brendan McKay's user avatar
3 votes
1 answer
152 views

Bounds on symmetric polynomials in power-sum form with bounded coefficients

Let $\boldsymbol{x}=(x_1,\ldots,x_n)$ be a real vector. Define the normalized power-sum symmetric polynomials by $\pi_j(\boldsymbol{x})=\frac 1n(x_1^j+\cdots+x_n^j)$. For a partition $\lambda= (j_1,\l …
Brendan McKay's user avatar
3 votes

An inequality involving binomial coefficients and the powers of two

If the value of the sum is $\frac13-\varDelta(k)$, then it appears that $\varDelta(k)$ satisfies the recurrence $$ (8k+4)\varDelta(k) = (7k-5)\varDelta(k-1) + k\varDelta(k-2).$$ Note that I didn't pro …
Brendan McKay's user avatar
0 votes

The exact constant in a bound on ratios of Gamma functions

Taking $f(a,b)=\frac{a+b}{a}$ as in the other question, I conjecture that the optimal $C$ is $e$. One bit of evidence is that the limit of the ratio for $a=cb$ and $b\to\infty$ is $(c+1)^{1/c}$ which …
Brendan McKay's user avatar