Search Results for ""

If f(x) is a monotonically increasing integrable function on [a,b] with f(b)<=0, then if g is a real function integrable on [a,b], ...

Let f(z) be an analytic function in an angular domain W:|argz|<alphapi/2. Suppose there is a constant M such that for each epsilon>0, each finite boundary point has a ...

Let f(x) be a nonnegative and monotonic decreasing function in [a,b] and g(x) such that 0<=g(x)<=1 in [a,b], then int_(b-k)^bf(x)dx<=int_a^bf(x)g(x)dx<=int_a^(a+k)f(x)dx, ...

An inequality is strict if replacing any "less than" and "greater than" signs with equal signs never gives a true expression. For example, a<=b is not strict, whereas a<b is.

phi(A)+phi(B)-phi(A union B)>=phi(A intersection B).

A function f is said to have a upper bound C if f(x)<=C for all x in its domain. The least upper bound is called the supremum. A set is said to be bounded from above if it ...

If 0<=a,b,c,d<=1, then (1-a)(1-b)(1-c)(1-d)+a+b+c+d>=1. This is a special case of the general inequality product_(i=1)^n(1-a_i)+sum_(i=1)^na_i>=1 for 0<=a_1,a_2,...,a_n<=1. ...

A triangle with side lengths a, b, and c and triangle area Delta satisfies a^2+b^2+c^2>=4sqrt(3)Delta. Equality holds iff the triangle is equilateral.

Constants gamma such that [int_Omega|f|^qdx]^(1/q)<=gamma[int_Omegasum_(i=1)^N|(partialf)/(partialx_i)|^pdx]^(1/p), where f is a real-valued smooth function on a region Omega ...

Let f(x) be a real continuous monotonic strictly increasing function on the interval [0,a] with f(0)=0 and b<=f(a), then ab<=int_0^af(x)dx+int_0^bf^(-1)(y)dy, where f^(-1)(y) ...