Showing $\sum |\hat{f}(n)| \leq C \cdot \int_{0}^{2\pi} |f(t)| \ dt$
119133
there is $M<\infty$ such that $\sum_{n} |\hat{f}(n)|\le M\int_{0}^{2\pi}|f(t)|dt$ for each $f\in X$
14648
Show that $f_0 - f_1 + f_2 - \cdots - f_{2n-1} + f_{2n} = f_{2n-1} - 1$ when $n$ is a positive integer
81974
Let $f_1 , f_2: I\mapsto \mathbb{R}$ bounded functions. Show that $L(f_1)+L(f_2)\leq L(f_1+f_2)$ (Riemann integral)
63526
Proving that $(\sup_{x\in R}|f'(x)|)^2\leq 4\sup_{x\in R}|f(x)|\cdot\sup_{x\in R}|f''(x)|$.
137232
Bounds for the Harmonic k-th partial sum.
127047
How to show that $\sum_{i=1}^n | \langle f, f_i\rangle |^2 \leq \Vert f \Vert^2$
63124
Show that $ \lVert A \rVert_2^2 \leq \lVert A \rVert _1 \lVert A \rVert _ \infty $
70128
Prove that $(fg)^{(n)} = \sum_{k=0}^n \binom{n}{k}f^{(k)}(x)g^{(n-k)}(x)$
8913
Show that there is $\xi$ s.t. $f(\xi)=f\left(\xi+\frac{1}{n}\right)$
66082
Using $\sqrt{1-t}\leq 1-\frac t2$ to show that $\frac{1\cdot3\cdot5\cdots(2n-1)}{2\cdot4\cdot6\cdots2n}\geq\frac1{2\sqrt n}$
98836
Showing $\int_x^{x+1}f(t)\,dt \xrightarrow{x\to\infty}0$ for $f\in L^2 (\mathbb{R})$
157426
Proving that:$\int_X f_n g \, d\mu \to \int_X fg \, d\mu$ for all $g$ in $\mathscr{L}^q (X)$
85465
Let $f$ be increasing on $[a,b]$ and $a < x_1 < \dotsb < x_n < b$. Show that $\sum_{k = 1}^n [f(x_k^+) - f(x_k^-)]\leq f(b^-) - f(a^+)$.
34398
Prove $\left| \int_a^b f(t) dt \right| \leq \int_a^b \left| f(t) \right| dt$
61162
Show that $\left(\int_0^1 f(x)\,dx\right)^2\leq2\int_0^1x\, f(x)^2\,dx $
5365
Bound on $|f'(0)|$ of a holomorphic funtion in the unit disk
120795
Showing that $\sin^2x\cdot\sin^22x\cdot\sin^24x\cdot\sin^28x\cdots\sin^22^nx\leq\frac{3^n}{4^n}$