Prove
Lemma 9 ([Moment preservation]). For every stage of, the phase bandwidth of W_j…Theorem 4.1 ([Uniform representing densities]). There is a constant K_*>0 ,…Proposition
Choose the largest 1≤l≤n such that k_l|u|≤1 , or put l=0 if no such index exists. The comparisons between successive densities give W_n(e^ i(θ+u) p) W_n(e^ iθ p) ≤R^ n-l W_l(e^ i(θ+u) p) W_l(e^ iθ p) . When l≥1 , logarithmic differentiation and the phase derivative bound show that the last ratio is at most (K_*k_l|u|)≤e^ K_* . For l=0 it equals one. If l=n , this already proves the assertion. Otherwise the maximality of l , including the case l=0 , gives k_n|u|>Q^ n-l-1 ≥2^ n-l-1 . It follows that R^ n-l ≤R(1+k_n|u|)^β , proving .