boisgera / CDIS

Calcul Différentiel, Intégral et Stochastique
Other
15 stars 24 forks source link

Intégrale $1/sqrt{x}$ #73

Closed boisgera closed 4 years ago

boisgera commented 4 years ago

(Calcul Intégral I)

Reprendre le calcul ; vérifier la borne à gauche sur la jauge. Il y a également qq opporunités de simplification dans les calculs. Notamment, le fait d'avoir établi (à droite) que $\sqrt{y} \leq \sqrt{t} + \varepsilon/2 t$ donne mécaniquement le résultat à gauche en remplaçant $(y, t)$ par $(t, x)$. Les calculs pour conclurent à partir de ce point diffèrent, mais c'est 80% du travail qui est économisé.