“…Given an unflatness level, the interleaver design problem is reduced to find those coupling ratios to maximize the channel isolation, that is, max{P 13 (0)-P 13 (7r/2)} (6.55) It is obvious that P\ 3 {92) = 1 and ^13(^3) = 1, which means P\ 3 (9) reaches its maximum at 9 = 0 2 and 9 = 9 3 . It is concluded in turn that P\ 3 {9) has a minimum at 9 = 0, otherwise Pu(&) would be flat over [^2,^3] because P\$ (9) has only three stationary points in [-TT/2,TT/2). Therefore, ^P > 0, which completes the proof that o > 0.…”