Q4 Matemática  (IMO Shortlist 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 .