Q91 Matemática  (IMO Longlists 1988)

Um 14-gon regular com lado $a$ está inscrito em um círculo de raio um. Prove $$\frac{2-a}{2\cdot a}>\sqrt{3\cdot \cos \left(\frac{\pi }{7}\right)}.$$