/ 2 2/x\\ |sin (x)*sin |-|| | \2/| lim |---------------| x->oo\ 2 /
Limit((sin(x)^2*sin(x/2)^2)/2, x, oo, dir='-')
<0, 1/2>