Intereting Posts

Sum of two independent binomial variables
Diagonalization and eigenvalues
Convergence of a sequence whose even and odd subsequences converge
Normal subgroups of $S_n$ for $n\geq 5$.
Globally generated vector bundle
Why are Vandermonde matrices invertible?
Are there ideals in $M_n(P)$ that are not of the form $M_n(I)$?
$P(|X_1+X_2|<x)\le P(|X_1|<x)$ for every independent centered continuous $X_1$ and $X_2$?
Prove that a separable metric space is Lindelöf without proving it is second-countable
Inverse function of a polynomial
Could we show $1-(x-\frac{x^3}{3!}+\frac{x^5}{5!}-\dots)^2=(1-\frac{x^2}{2!}+\frac{x^4}{4!}- \dots)^2$ if we didn't know about Taylor Expansion?
Where DCT does not hold but Vitali convergence theorem does
'mod' or 'remainder' symbol valid in maths?
Proving a function is continuous on all irrational numbers
Fourier transform of unit step?

I am working on proving the below inequality, but I am stuck.

Let $g$ be a differentiable function such that $g(0)=0$ and $0<g'(x)\leq 1$ for all $x$. For all $x\geq 0$, prove that

$$\int_{0}^{x}(g(t))^{3}dt\leq \left (\int_{0}^{x}g(t)dt \right )^{2}$$

- How to derive this interesting identity for $\log(\sin(x))$
- Prove that the limit of $\sin n$ as $n \rightarrow \infty$ does not exist
- Prove that if $f:A\to B$ is uniformly continuous on $A$ and $g$ is uniformly continuous on $B$, then $g(f(x))$ is uniformly continuous on $A$
- Evaluate $\displaystyle I=\int _{ 0 }^{ 1 }{ \ln\bigg(\frac { 1+x }{ 1-x } \bigg)\frac { dx }{ x\sqrt { 1-{ x }^{ 2 } } } }$
- Evaluating $\sum_{n \geq 1}\ln \!\left(1+\frac1{2n}\right) \!\ln\!\left(1+\frac1{2n+1}\right)$
- Prove $\lim_{n\to\infty}x_n=2$ Given $\lim_{n \to \infty} x_n^{x_n} = 4$

- An inequality about the sum of distances between points : same color $\le$ different colors?
- Product rule intuition
- Find the value of $\int_0^{\infty}\frac{x^3}{(x^4+1)(e^x-1)}\mathrm dx$
- Show that $f^{(n)}(0)=0$ for $n=0,1,2, \dots$
- Integrate $\int_{0}^{2\pi} \frac{R^{2}-r^{2}}{R^{2}-2Rr\cos \theta +r^{2}} d\theta= 2\pi$, by deformation theorem
- Prove any function $f$ is Riemann integrable if it is bounded and continuous except finite number of points
- Is there a proof for the following series to diverge/converge?
- Minimum value of $2^{\sin^2x}+2^{\cos^2x}$
- Find $\lim\limits_{n \to \infty} \frac{1}{n}\sum\limits^{2n}_{r =1} \frac{r}{\sqrt{n^2+r^2}}$
- Continued fraction for $\tan(nx)$

Since $0<g'(x)$ for all $x$, we have $g(x)\geq g(0)=0$. Now let $F(x)=\left (\int_{0}^{x}g(t)dt \right )^{2}-\int_{0}^{x}(g(t))^{3}dt$. Then

$$F'(x)=2g(x)\left (\int_{0}^{x}g(t)dt \right )-g(x)^3=g(x)G(x),$$

where

$$G(x)=2\int_{0}^{x}g(t)dt-g(x)^2.$$

We claim that $G(x)\geq 0$. Assuming the claim, we have $F'(x)\geq 0$ from the above equality, which implies that $F(x)\geq F(0)=0$, which proves the required statement.

To prove the claim, we have

$$G'(x)=2g(x)-2g(x)g'(x),$$

which is nonnegative since $g'(x)\leq 1$ and $g(x)\geq 0$ for all $x$. Therefore,

$G(x)\geq G(0)=0$ as required.

It’s straightforward: The function $g$ is positive for all $x>0$. Therefore $g'(t)\leq 1$ implies

$$2 g(t)g'(t)\leq 2 g(t)\qquad(t>0)\ ,$$

and integrating this with respect to $t$ from $0$ to $y>0$ we get

$$g^2(y)\leq 2\int_0^y g(t)\ dt\qquad(y>0)\ .$$

Multiplying with $g(y)$ again we have

$$g^3(y)\leq 2 g(y)\ \int_0^y g(t)\ dt ={d\over dy}\left(\Bigl(\int_0^y g(t)\ dt\Bigr)^2\right) \qquad(y>0)\ ,$$

and the statement follows by integrating the last inequality with respect to $y$ from $0$ to $x>0$.

- There is a bijection between irreducible components of the generic fiber and irreducible components passing through it.
- Ring theory reference books
- If $\operatorname{rank}(A)=m$, can we say anything about $\operatorname{rank}(AA^t)$?
- Difference between Modification and Indistinguishable
- Is this Epsilon-Delta approach to prove that $e^x$ is continuous correct?
- closed immersion onto an affine scheme – showing affineness
- Abel/Cesaro summable implies Borel summable?
- Subspaces of separable normed spaces
- compactness / sequentially compact
- Derivation of Riemann Stieltjes integral with floor function
- Approximation of measurable function by simple functions
- Prove $\frac{a^3+b^3+c^3}{3}\frac{a^7+b^7+c^7}{7} = \left(\frac{a^5+b^5+c^5}{5}\right)^2$ if $a+b+c=0$
- The number of esquares of idempotents in the rank 2 $\mathcal{D}$-class of $M_n(\mathbb{Z}_2)$.
- What are the formal terms for the intersection points of the geometric representation of the extended trigonometric functions?
- k-regular simple graph without 1-factor