  We verify the existence of density functions of the running maximum of a
stochastic differential equation (SDE) driven by a Brownian motion and a
non-truncated stable process. This is proved by the existence of density
functions of the running maximum of Wiener-Poisson functionals resulting from
Bismut's approach to Malliavin calculus for jump processes.
