Since cosx>0 for any x∈(−2π,2π), the inequality in the statement can be written equivalently
(f′′(x)−f(x))⋅sinx+2⋅f′(x)⋅cosx≥cosx,for any x∈(−2π,2π),
or g′′(x)≥0,∀x∈(−2π,2π), where g:[−2π,2π]→R is the function defined by g(x)=f(x)⋅sinx+cosx,∀x∈[−2π,2π].
Hence, the function g is convex, so that
2g(x)+g(−x)≥g(0)=1,for any x∈[−2π,2π].
Because ∫−aah(x)dx=∫−aah(−x)dx holds for any integrable function and any a≥0, we have
∫−2π2πg(x)dx=∫−2π2π2g(x)+g(−x)dx≥∫−2π2π1dx=π.
∫−2π2πf(x)⋅sinxdx=∫−2π2π(g(x)−cosx)dx≥π−2.