Designing Structured Tight Frames via an ... - Joel A. Tropp / Caltech
rem 5. We will verify the theorem for k = 4 and leave the verification for k = 5 as an exercise. Since Fn+6 ^ Fn+6 + 2Fn+2 - 1 < Fn+7 - F3.
rem 5. We will verify the theorem for k = 4 and leave the verification for k = 5 as an exercise. Since Fn+6 ^ Fn+6 + 2Fn+2 - 1 < Fn+7 - F3.