Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I would like to determine if the following inequality is true:

$$\int_0^11-(1-x^{c^n})(1-x)^{c-1}-[F(F(x))]^{c^{n-1}}+(c^n-c^{n-1})(1-F(x))\beta_{[F(F(x))]^{\frac{1}{c}}}\left(c^n,\frac{c-1}{c}\right) \,dx \geq 0$$

where $$F(x) = (1-(1-x)^c)^c$$ and $$\beta_{[F(F(x))]^{\frac{1}{c}}}\left(c^n,\frac{c-1}{c}\right) = \text{ the incomplete Euler Beta Function } = \int_0^{[F(F(x))]^{\frac{1}{c}}}x^{c^n-1}(1-x)^{\frac{-1}{c}} \, dx$$ and and $c$ is an integer > 1 and $n$ is an integer $\geq$ 0.

I have strong reason to believe the inequality is true. Some exploration with plotting suggests is might be true without the integral (for all $x$ in $(0,1)$) but I'm skeptical about that.

Does anyone have any ideas on approaches to proving this? My math skills just aren't strong enough and I haven't been able to do it. This question on MO might be helpful.

share|cite|improve this question
I have strong reason to believe the inequality is true. Good to know. Care to share what these strong reason(s) are? – Did Nov 27 '11 at 8:34

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.