\input epsf
\nopagenumbers
\magnification=\magstep1

\noindent {\bf Problem statement} A silicon friend declares that
$$\int_0^1 {{3x+7}\over{(x+1)(x+2)(x+3)}}\,dx=\ln(2)\, .$$
Check that this is correct.

\vfil\eject\end