Intereting Posts

Random sum of random variables
Solving $a^2+3b^2=c^2$
Compact space and Hausdorff space
Summation of series $\sum_{k=0}^\infty 2^k/\binom{2k+1}{k}$
Is $f^{-1}(f(A))=A$ always true?
Is Lipschitz's condition necessary for existence of unique solution of an I.V.P.?
Prove that $f(X)$ and $g(Y)$ are independent if $X$ and $Y$ are independent
Direct proof that nilpotent matrix has zero trace
What does actually probability mean?
What algebraic topology book to read after Hatcher's?
Equality/Equivalence of functions
How should I think about what it means for a manifold to be orientable?
Distributivity of ordinal arithmetic
The integral closure of a finite separable field extension of the fraction field is finitely generated
The longest word in Weyl group and positive roots.

Prove that $\int_a^b f(x)\,dx \gt 0$ if $f \geq 0$ for all $x \in [a,b]$ and $f$ is continuous at $x_0 \in [a,b]$ and $f(x_0) \gt 0$

**EDIT.** Please ignore below. It is very confusing actually -.-

Note: After typing this all out, I think I realized that my proof is complete, but I’ll just post it to make sure 🙂

- Integral dx term sanity check
- how to compute this limit
- Is there any intuition behind why the derivative of $\cos(x)$ is equal to $-\sin(x)$ or just something to memorize?
- How to evaluate $\int_0^\infty \frac{1}{x^n+1} dx$
- Looking for closed-forms of $\int_0^{\pi/4}\ln^2(\sin x)\,dx$ and $\int_0^{\pi/4}\ln^2(\cos x)\,dx$
- Integral $\int_0^{\pi/2} \ln(1+\alpha\sin^2 x)\, dx=\pi \ln \frac{1+\sqrt{1+\alpha}}{2}$

Attempt:

Find a partition $P = \{t_0,\ldots,t_n\}$ of $[a,b]$ s.t. $f(x)\gt f(x_0)/2$ for any $x \in [t_{i-1},t_i]$

Thus, the lower sum, $L(f,P)\geq x_0 (t_{i}-t_{i-1})/2 > 0$

[Basic Idea: since f is continuous at $x_0$, in the worst case scenario (i.e. $f=0$ at all points except in a nbhd of $x_0$) there must be some “bump” at $x_0$, which prevents the integral from actually equaling $0$. If we can find just one lower sum of a partition to be $> 0$, we will be done (I think…)]

- Proof involving Induction
- Is this integral right?
- Compute this integral
- Computing $ \int_{0}^{2\pi} \frac{\sin(nx)^2}{\sin(x)^2} \mathrm dx $
- What are the differences and relations of Haar integrals, Lebesgue integrals, Riemann integrals?
- How to find the closed form of the integral$\int_{0}^{\infty}f(x)\frac{\sin^nx}{x^m}dx$
- Integration of forms and integration on a measure space
- How do we know whether certain mathematical theorems are circular?
- Computing ${\int\limits_{0}^{\chi}\int\limits_{0}^{\chi}\int\limits_{0}^{2\pi}\sqrt{1- \cdots} \, d\phi \, d\theta_1 \, d\theta_2}$?
- The Radon-Nikodym derivative of a measure such that $|\int f'\,d\mu|\le \|f\|_{L^2}$ for $f\in C^1$

I take it for granted that you know that this integral is never negative. So you need to give a single interval over which it’s positive.

$f(x_0) > 0, f(x)$ continuous there means that there is a $\delta$ such that for $|x-x_0|< \delta$, $|f(x) – f(x_0)| < \frac{f(x_0)}{2}$.

So consider the interval $[x-\delta, x+\delta]$.

I think this is the easiest way to do it, perhaps.

I think this problem can be solved with Reductio ad absurdum. If it is not true, then the integral must equal to zero, so the upper sums must equal zero. This means the supremum in each interval is equal to zero, therefore $f(x) = 0$ in every subinterval, so $f(x) = 0$ for all $x$. This contradicts the fact that $f(x_0) > 0$ for some $x_0$.

- Uniqueness for antipodal points of maximum distance on closed convex surface
- Integral of $\csc(x)$
- $K$-monomorphism $L\rightarrow L$ is $K$-automorphism if finite extension $L:K$
- Binomial Distribution Problem – Airline Overbooking
- Prove $\det(kA)=k^n\det A$
- Decompose rotation matrix to plane of rotation and angle
- Expressing polar complex numbers in cartesian form
- Why use ZF over NFU?
- Is there an algebraic homomorphism between two Banach algebras which is not continuous?
- $\int_0^1 {\frac{{\ln (1 – x)}}{x}}$ without power series
- Guess the number despite false answer
- Let $(f_n)_{n\in\mathbb{N}} \rightarrow f$ on $[0,\infty)$. True or false: $\lim_{n\to\infty}\int_0^{\infty}f_n(x) \ dx = \int_0^{\infty}f(x) \ dx.$
- A relative compactness criterion in $\ell^p$
- Ideal of $\text{End}_k V$ has certain form.
- The Hausdorff property versus closedness of the diagonal in the context of convergence spaces