Continuity at is automatic in the proposed expression. Integrating the differential equation through gives the derivative jump
Thus
In terms of the Wronskian
one has
The boundary conditions hold because and .
The Abel identity gives . If , the Wronskian and hence are constant. The two branches of the displayed formula are then interchanged by , proving
This is the symmetry of the Neumann Green function for a second-order ordinary differential equation in the self-adjoint case.
For , choose
Their Wronskian is
Writing and gives
The solution of the inhomogeneous problem is . Equivalently, solving directly gives
The two Neumann conditions yield and
Therefore
For a nonempty set bounded above, is its least upper bound: every satisfies , and every fails to be an upper bound.
A sequence converges to if for every there is such that implies .

There are unlisted articles, also show them or only show them.