Proof that \frac{2}{3}<\log(2)<\frac{7}{10} Positive integrals \int^1_0\frac{2x(1−x)^2}{1+x^2}dx=\pi−3 and \int^1_0\frac{x^4(1−x)^4}{1+x^2}dx=\frac{22}{7}−\pi prove that 3<\pi<\frac{22}{7} Is there a similar argument for

piarepm

piarepm

Answered question

2022-01-19

Proof that 23<log(2)<710
Positive integrals
012x(1x)21+x2dx=π3
and
01x4(1x)41+x2dx=227π
prove that
3<π<227
Is there a similar argument for the following log(2) inequality?
23<log(2)<710

Answer & Explanation

Jim Hunt

Jim Hunt

Beginner2022-01-19Added 45 answers

There are positive integrals that relate log(2) to its first four convergents:0,1,23,710.
012x1+x2=log(2)
01(1x)21+x2dx=1log(2)
01x2(1x)21+x2dx
01x4(1x)21+x2dx=710log(2)
Therefore,
01x2(1x)21+x2<0<01x4(1x)21+x2dx
23log(2)<0<710log(2)
23<log(2)<710
A similar set is available with denominators (1+x):
0111+xdx=log(2)
01x1+xdx=1log(2)
1201x2(1x)1+xdx=log(2)23
1201x5(1x)1+xdx=710log(2)
and series versions are given by

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?