, δύο φορές παραγωγίσιμη, για την οποία ισχύουν:
για κάθε 

Δ1. Να αποδείξετε ότι
και στη συνέχεια να υπολογίσετε την τιμή
.Δ2. Να βρείτε την εξίσωση της εφαπτομένης (ε) της γραφικής παράστασης της f στο σημείο της A(1, 0) και να αποδείξετε ότι η συνάρτηση f είναι κυρτή στο
, περιορισμός ώστε να έιναι αποκλειστικά κυρτή, με βάση τα ορθά σχόλια του λύτηΔ3. Να υπολογίσετε το όριο:

Δ4. Να αποδείξετε ότι ισχύει η ανισότητα:

παραγωγίσιμη και
στο
Από εδώ συμπεραίνουμε ότι
και
στο
είναι παραγωγίσιμη και η
με
Επειδή 

και δύο φορές παραγωγίσιμη στο
με
ομόσημη του
Επειδή
η
ισχύει 
είναι παραγωγίσιμη με
άρα η 
συνεπώς
στο
και
στο
Άρα η
και κοίλη στο 
και 
καθώς
Επομένως ,
και 


παίρνουμε 
.
.
ισχύει οτι 
, τοτε ισχύει οτι 
.
.
τότε
και μπορεις να χρησιμοποιήσεις την ανισότητα με την εφαπτομενη. 
Επειδή
είναι 1-1 με


![\displaystyle =\frac{1}{2}\int \limits_{h^{-1}\left ( 1 \right )}^{h^{-1}\left ( 4 \right )}sd\left ( \sqrt{e^{s}+s} \right )=\frac{1}{2}\left ( \left [ s\sqrt{e^{s}+s} \right ]_{s=h^{-1}\left ( 1\right )}^{s=h^{-1}\left ( 4 \right )}-\int \limits_{h^{-1}\left ( 1 \right )}^{h^{-1}\left ( 4 \right )}\sqrt{e^{s}+s}ds \right ). \displaystyle =\frac{1}{2}\int \limits_{h^{-1}\left ( 1 \right )}^{h^{-1}\left ( 4 \right )}sd\left ( \sqrt{e^{s}+s} \right )=\frac{1}{2}\left ( \left [ s\sqrt{e^{s}+s} \right ]_{s=h^{-1}\left ( 1\right )}^{s=h^{-1}\left ( 4 \right )}-\int \limits_{h^{-1}\left ( 1 \right )}^{h^{-1}\left ( 4 \right )}\sqrt{e^{s}+s}ds \right ).](/forum/ext/geomar/texintegr/latexrender/pictures/14206b19744d09ff44ab27c863bf800c.png)
έχουμε

![\displaystyle \int \limits_{h^{-1}\left ( 1 \right )}^{h^{-1}\left ( 4 \right )}\sqrt{e^{x}+x}dx\leqslant \int \limits_{0}^{f\left ( 2 \right )}\sqrt{\frac{e^{f\left ( 2 \right )}+f\left ( 2 \right )-1}{f\left ( 2 \right )}x+1}dx=\int \limits_{0}^{f\left ( 2 \right )}\sqrt{cx+1}dx=\left [\frac{2}{3 }\cdot \frac{1}{c}\cdot \left ( cx+1 \right )^{3/2} \right ]_{x=0}^{x=f\left ( 2 \right )}. \displaystyle \int \limits_{h^{-1}\left ( 1 \right )}^{h^{-1}\left ( 4 \right )}\sqrt{e^{x}+x}dx\leqslant \int \limits_{0}^{f\left ( 2 \right )}\sqrt{\frac{e^{f\left ( 2 \right )}+f\left ( 2 \right )-1}{f\left ( 2 \right )}x+1}dx=\int \limits_{0}^{f\left ( 2 \right )}\sqrt{cx+1}dx=\left [\frac{2}{3 }\cdot \frac{1}{c}\cdot \left ( cx+1 \right )^{3/2} \right ]_{x=0}^{x=f\left ( 2 \right )}.](/forum/ext/geomar/texintegr/latexrender/pictures/f20f215146f37f42bd0d2b1428811513.png)

άρα 
![\displaystyle e^{f\left ( 1+\varepsilon \varphi x \right )}+f\left ( 1+\varepsilon \varphi x \right )=\left ( 1+\varepsilon \varphi x \right )^{2},\forall x\in \left [ 0,\frac{\pi }{4} \right ]\Rightarrow \boxed{\int \limits_{0}^{\pi /4}e^{f\left ( 1+\varepsilon \varphi x \right )}dx=\int \limits_{0}^{\pi /4}\left ( \left ( 1+\varepsilon \varphi x \right )^{2} -f\left ( 1+\varepsilon \varphi x \right )\right )dx< \frac{f\left ( 2 \right )}{6}+\int \limits_{0}^{1}\frac{\left ( 1+y \right )^{2}}{1+y^{2}}dy}. \displaystyle e^{f\left ( 1+\varepsilon \varphi x \right )}+f\left ( 1+\varepsilon \varphi x \right )=\left ( 1+\varepsilon \varphi x \right )^{2},\forall x\in \left [ 0,\frac{\pi }{4} \right ]\Rightarrow \boxed{\int \limits_{0}^{\pi /4}e^{f\left ( 1+\varepsilon \varphi x \right )}dx=\int \limits_{0}^{\pi /4}\left ( \left ( 1+\varepsilon \varphi x \right )^{2} -f\left ( 1+\varepsilon \varphi x \right )\right )dx< \frac{f\left ( 2 \right )}{6}+\int \limits_{0}^{1}\frac{\left ( 1+y \right )^{2}}{1+y^{2}}dy}.](/forum/ext/geomar/texintegr/latexrender/pictures/3d2024c5b74020e9d86d52cbcaa5e35d.png)
![\displaystyle \boxed{\int \limits_{0}^{\pi /4}e^{f\left ( 1+\varepsilon \varphi x \right )}dx< \frac{f\left ( 2 \right )}{6}+\left [ y+\ln \left ( y^{2}+1 \right ) \right ]_{y=0}^{y=1}=\frac{f\left ( 2 \right )}{6}+1+\ln 2}. \displaystyle \boxed{\int \limits_{0}^{\pi /4}e^{f\left ( 1+\varepsilon \varphi x \right )}dx< \frac{f\left ( 2 \right )}{6}+\left [ y+\ln \left ( y^{2}+1 \right ) \right ]_{y=0}^{y=1}=\frac{f\left ( 2 \right )}{6}+1+\ln 2}.](/forum/ext/geomar/texintegr/latexrender/pictures/433fbbd5c24a4a39e9d3ea48034ab450.png)

Οπότε ![\displaystyle \int \limits _{h^{-1}\left ( 1 \right )}^{h^{-1}\left ( 4 \right )}ph'\left ( p \right )dp=\int \limits_{0}^{f\left ( 2 \right )}p\left ( e^{p}+1 \right )dp=\left [ e^{p}\left ( p-1 \right )+\frac{p^{2}}{2} \right ]_{p=0}^{p=f\left ( 2 \right )}=e^{f\left ( 2 \right )}\left ( f\left ( 2 \right )-1 \right )+\frac{f^{2}\left ( 2 \right )}{2}+1\overset{\left ( \ast \right )}. \displaystyle \int \limits _{h^{-1}\left ( 1 \right )}^{h^{-1}\left ( 4 \right )}ph'\left ( p \right )dp=\int \limits_{0}^{f\left ( 2 \right )}p\left ( e^{p}+1 \right )dp=\left [ e^{p}\left ( p-1 \right )+\frac{p^{2}}{2} \right ]_{p=0}^{p=f\left ( 2 \right )}=e^{f\left ( 2 \right )}\left ( f\left ( 2 \right )-1 \right )+\frac{f^{2}\left ( 2 \right )}{2}+1\overset{\left ( \ast \right )}.](/forum/ext/geomar/texintegr/latexrender/pictures/83e03da1588088ace97386876b6a2387.png)
που ολοκληρώνει την απόδειξη. 