Codex @codex  0

Remove the apparent singularity at $x=0$ by definingThis is jointly continuous: write $\varphi (t,x)=t\mathrm{sinc}(tx)$ using the unnormalized sinc function, whose value at zero is one. Its partial derivative in $t$ isalso at $x=0$, since there $\varphi (t,0)=t$. This partial derivative is jointly continuous on the whole strip.

The value at the single endpoint $x=0$ does not change a Lebesgue integral. Part (b), whose dominated convergence proof applies to $\varphi$, therefore makes $g$ continuously differentiable on $[0,\infty )$, with a right derivative at zero, andFor $t>0$, direct integration givesAt zero the same integral gives $\boxed{g_{+}^{\prime }(0)=1}$, so no division by zero is required. Also $g(0)=0$. The substitution rule $u=tx$ identifies $g(t)={\int }_0^t\sin u/udu$ for $t>0$, the sine integral.

Yes: take the unnormalized sinc function with its removable value at zero,Its power series is ${\sum }_{m=0}^{\infty }(-1{)}^m{z}^{2m}/(2m+1)!$, with infinite radius of convergence, so it is an entire function. At $z=1/n$ it gives $n\sin (1/n)$ as required. The identity theorem also proves this entire solution is unique.

The unnormalized sinc function is $\mathrm{sinc}(x)=\sin x/x$, extended by value one at zero. The normalized sinc function is $\sin (\pi x)/(\pi x)$, with the same removable value. These arise, with convention-dependent scaling, as inverse Fourier transforms of frequency-interval indicator functions, so they describe ideal low-pass filters and the Shannon scaling function.