Question Number 204409 by mr W last updated on 16/Feb/24

Commented by witcher3 last updated on 16/Feb/24

Answered by witcher3 last updated on 16/Feb/24

Commented by mr W last updated on 16/Feb/24

Answered by mr W last updated on 18/Feb/24
![x∈[0, 2023] ⇒x≥0 (2/(x+e^x ))<(2/e^x ) ⇒∫_0 ^(2023) (2/(x+e^x ))dx<∫_0 ^(2023) (2/e^x )dx=2[−(1/e^x )]_0 ^(2023) =2(1−(1/e^(2023) ))<2](https://www.tinkutara.com/question/Q204463.png)
Commented by mr W last updated on 18/Feb/24

Commented by mr W last updated on 18/Feb/24
![y=(2/(x+e^x )) y′=−((2(1+e^x ))/((x+e^x )^2 ))<0 ⇒y is decreasing y′′=−((2e^x )/((x+e^x )^2 ))+((4(1+e^x )^2 )/((x+e^x )^3 ))=((2[2+4e^x +e^x (e^x −x)])/((x+e^x )^3 ))>0 ⇒y is ⌣ ∫_0 ^(2023) ydx=red area > blue area ...](https://www.tinkutara.com/question/Q204467.png)
Answered by witcher3 last updated on 16/Feb/24
![⌊x+y]≥[x]+[y] [∫_0 ^(2023) ((2dx)/(x+e^x ))]=⌊Σ_(k=0) ^(2022) ∫_k ^(k+1) ((2dx)/(x+e^x ))⌋≤Σ_(k=0) ^(2022) [∫_k ^(k+1) ((2dx)/(x+e^x ))] Σ_(k=0) ^(2022) ⌊∫_k ^(k+1) (2/(x+e^x ))dx⌋=[∫_0 ^1 ((2dx)/(x+e^x ))]+Σ_(k=1) ^(2022) [∫_k ^(k+1) ((2dx)/(x+e^x ))] ∫_k ^(k+1) ((2dx)/(x+e^x ))<∫_k ^(k+1) ((2dx)/(k+e^k ))=(2/(k+e^k ))<1;∀k≥1;“e^1 >2” ⇒Σ_(k=1) ^(2022) [∫_k ^(k+1) ((2dx)/(x+e^x ))]=0 ∫_0 ^1 ((2dx)/(x+e^x )) e^x ≥1+x⇒(1/(e^x +x))≤(1/(2x+1))⇒∫_0 ^1 ((2dx)/(x+e^x ))≤∫_0 ^1 ((2dx)/(2x+1))=[ln(2x+1)]_0 ^1 =ln(3) ⇒[∫_0 ^(2023) ((2dx)/(x+e^x ))]≤[ln(3)]=1 ⇒[∫_0 ^(2023) ((2dx)/(x+e^x ))]≤1 ∫_0 ^1 ((2dx)/(x+e^x ))≥∫_0 ^1 2(dx/(1+e^x ))=2ln((2/(1+e^(−1) ))) ∫_1 ^2 ((2dx)/(x+e^x ))≥∫_1 ^2 ((2dx)/(2+e^x ))=ln(((1+2e^(−1) )/(1+2e^(−2) ))) ∫_0 ^2 ((2dx)/(x+e^x ))≥ln(((4(1+2e^(−1) ))/((1+e^(−1) )^2 (1+2e^(−2) )))) 4(1+2e^(−1) )≥e(1+2e^(−1) +e^(−2) )(1+2e^(−2) ) 4+8e^(−1) ≥2e^(−1) +4e^(−2) +2e^(−3) +e+2+e^(−1) 2+5e^(−1) ≥4e^(−2) +2e^(−3) +e e^4 +2+4e−2e^3 −5e^2 ≤0 e^3 (e−2−3e^(−1) )+2+4e−2e^2 <0...True 3e^(−1) >1⇒e−2−3e^(−1) <e−3<0 2+4e−2e^2 =2(1+2e−e^2 ); Tackx→^p 1+2x−x^2 p′(x)=2−2x x≥1 decreade e>2.5⇒p(e)<p(2.5)=1+5−(2.5)^2 =−0.25<0 ⇒ln(((4(1+2e^(−1) ))/((1+e^(−1) )^2 (1+2e^(−2) ))))≥ln(e)=1 ∫_0 ^(2023) ((2dx)/(x+e^x ))≥∫_0 ^2 ((2dx)/(x+e^x ))≥1 ⇒⌊∫_0 ^(2023) ((2dx)/(x+e^x ))⌋≥1⇒enswer =1](https://www.tinkutara.com/question/Q204415.png)
Commented by mr W last updated on 17/Feb/24

Commented by witcher3 last updated on 17/Feb/24
