ⅇx⁢z⁢J0⁡(z⁢1-x2)=∑n=0∞Pn⁡(x)n!⁢zn.