ΨK(x)=2πj=1jmax(x)exp((ΦK(tj(x);x)+14π(-1)j+K+1))|2ΦK(tj(x);x)t2|-1/2(1+o(1)).