est Riemann-intégrable si et seulement si l'ensemble de ses points de discontinuité a une mesure de Lebesgue nulle.
L'ensemble des discontinuités peut être de mesure nulle sans être fini ou dénombrable, comme pour la fonction caractéristique de l'ensemble de Cantor, qui n'est donc pas réglée.
La somme de Riemann de f associée à σ et aux ξi est définie par S(f,σ,ξ)=n∑i=1(xi−xi−1)f(ξi).
On obtient alors : I ( x ) = ∫ 0 arctan ( x ) u d u = [ u 2 2 ] 0 arctan ( x ) = 1 2 ( arctan .
Quand tend vers , on a donc : lim x → + ∞ I ( x ) = π 2 8 .
D'où : ∫ 0 + ∞ arctan ( t ) 1 + t 2 d t = π 2 8 .