A brief lapse of my bos hiatus.
Sy, your ideas are quite good although I do have one significant issue with your third page. You attempt to show that the alpha-integral tends to zero as n->inf by showing that the integrand tends to zero for each theta in (0,pi) as n->inf. This is in general...