Let f(x)=xsin2(2x), defined for all real x≥1.
(a) Show that 0≤sin2(2x)≤1 for all real x. Provide a brief justification.
(b) Use the inequality from part (a) to obtain numerical upper and lower bounds for f(x) that are simpler rational functions of x.
(c) Using the bounds from part (b), determine x→∞limf(x) and justify your result rigorously.