By \(\mathsf {LPO}:{{N}}^{{N}}\rightarrow \lbrace 0,1\rbrace \)  we denote the characteristic function of \(\lbrace 000...\rbrace \) .
It is well-known that every discontinuous \(f:\subseteq {{N}}^{{N}}\rightarrow {{N}}^{{N}}\)  satisfies \(\mathsf {LPO}\le _\mathrm {W}^*f\)  [1]}. It is easy to see that \(\mathsf {DIS}\mathop {\le _{\mathrm {sW}}}\mathsf {LPO}\)  holds (given an input \(p\in {{N}}^{{N}}\)  for the universal function \({\mathsf {{U}}}\) ,
use \(\mathsf {LPO}\)  to determine whether \({\mathsf {{U}}}(p)=000...\)  or not).
The statement now follows with Theorem REF .
