Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
1 answer
117 views

Product/quotient of factorials beget dyadic powers

I am writing up some notes and the following occurred to me and I would like to see if there are a variety of ways to prove it. Just for reference, the identity pops out of equality between constant ...
T. Amdeberhan's user avatar
2 votes
1 answer
377 views

Prove positivity of rational functions

We say a rational function $F(z)$ is positive if the coefficients of its Maclaurin expansion, in the variable $z$, are non-negative. In this context, let $$F_r(z):=\frac{1 - 2z + z^r - (1 - z)^r}{(1 - ...
T. Amdeberhan's user avatar
9 votes
2 answers
1k views

A tricky integral to evaluate

I came across this integral in some work. So, I would like to ask: QUESTION. Can you evaluate this integral with proofs? $$\int_0^1\frac{\log x\cdot\log(x+2)}{x+1}\,dx.$$
T. Amdeberhan's user avatar
16 votes
6 answers
2k views

Alternative proofs sought after for a certain identity

Here is an identity for which I outlined two different arguments. I'm collecting further alternative proofs, so QUESTION. can you provide another verification for the problem below? Problem. Prove ...
T. Amdeberhan's user avatar
11 votes
3 answers
2k views

Does anyone recognize this inequality?

In some paper the authors make use of the following inequality without further explanation: Let $x\in\mathbb{R}^n$ with $x_1\le\cdots\le x_n$ and $\alpha\in[0,1]^n$ with $\sum_{i=1}^n \alpha_i=N\in\{1,...
Robert Rauch's user avatar