Intégrale de la partie entière

Convergence et calcul de

\[ \int_0^{+\infty} E(x)e^{-x}\,dx \]

où \(E\) désigne la fonction partie entière.