Re: Why is this limit 0?

["TCL"]

"TCL" <tlim1@xxxxxxxxxxx> wrote in message news:quaTg.15$Zj3.12@xxxxxxxxxxx
> Let  p(n)= int_0^pi  | sin(n+ 0.5)x| /  sin (0.5 x)  dx.
> I am trying to prove that
>
>
> I am able to prove  lim sup p(n)/ ln n  is finite, but of course that is 
> not good enough.
>
I  think   lim    p(n)/ ln n   = 0  is false.