{"schema":"vela.problem-packet.v0.1","problem":504,"statement":"Let $\\alpha_n$ be the supremum of all $0\\leq \\alpha\\leq \\pi$ such that in every set $A\\subset \\mathbb{R}^2$ of size $n$ there exist three distinct points $x,y,z\\in A$ such that the angle determined by $xyz$ is at least $\\alpha$. Determine $\\alpha_n$.","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}