
\[\int_{x}^{x+(1/2)}B_{n}\left(t\right)\,\mathrm{d}t=\frac{E_{n}\left(2x\right)}%
{2^{n+1}},\]