Q33 Matemática  (IMO Longlists 1984)

Seja a soma dos comprimentos de todas as diagonais de um polígono plano convexo com vértices (onde ). Seja seu perímetro. Prove que: onde denota o maior inteiro que não excede .