On considère la fonction $f$ définie sur $\mathbb{R}$ par
$$f(x)=5\ln\left(x^{2}+1\right)-3x$$
et on admet que la fonction $f$ est dérivable sur $\mathbb{R}$.
On note $\mathcal{C}_{f}$ sa courbe représentative dans un repère orthonormé du plan.
On a tracé ci-dessous la courbe $\mathcal{C}_{f}$ et la tangente à la courbe $\mathcal{C}_{f}$ au point A d'abscisse $1$.

- Conjecturer, à l'aide de la représentation graphique de la fonction $f$, les intervalles de $\mathbb{R}$ sur lesquels la fonction $f$ semble convexe ou concave.
- Déterminer, en justifiant, la limite de la fonction $f$ en $-\infty$.
-
- Démontrer que, pour tout $x$ réel strictement positif,
$$f(x)=x\left(10\dfrac{\ln x}{x}-3\right)+5\ln\left(1+\dfrac{1}{x^{2}}\right)$$
- Déterminer, en justifiant, la limite de la fonction $f$ en $+\infty$.
-
- Démontrer que pour tout $x$ réel, $\quad f'(x)=\dfrac{-3x^{2}+10x-3}{x^{2}+1}$.
- Étudier les variations de la fonction $f$ sur $\mathbb{R}$.
- On admet que la fonction $f$ est deux fois dérivable sur $\mathbb{R}$ et que pour tout réel $x$,
$$f''(x)=\dfrac{-10x^{2}+10}{\left(x^{2}+1\right)^{2}}$$
- Valider ou rejeter la conjecture faite à la question 1.
- Déterminer l'équation réduite de la tangente à la courbe $\mathcal{C}_{f}$ au point A d'abscisse $1$.
- En déduire que pour tout $x \geqslant 1$, $\quad \ln\left(x^{2}+1\right) \leqslant x+\ln(2)-1$.