pi >= 2 cos(x)−1=−∫0xsin(t)dt ⟹2=∫0πsin(t)dt≤∫0πtdt=2t20π=2π2 ⟹4≤π2⟹2≤π □ pi >= 2\sqrt{2} There is a simple way to do it with graph So clearly, 2π≥42⟹π≥22