IR-MO 2004 Problem 8

$\mathbb{P}$ is a n-gon with sides $l_1 ,...,l_n$ and vertices on a circle. Prove that no n-gon with this sides has area more than $\mathbb{P}$

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.