大概意思就是：

给定一个点数为 $n$ 的点集，两两连上边，要求任意三个点不能出现环路。求边数的最大值。

我的思路是把这 $n$ 个点整成一个圈。相邻两点都连上边，总共有 $n$ 条。

然后连相对的边，若 $n$ 为偶数，那么中间就有 $\frac{n \times \lfloor \frac{n-5}{2} \rfloor }{2}$ 条边。

奇数也差不多，加起来就是有 $\lfloor\frac{n^2}{4}\rfloor$ 条。

请问大佬们有没有其他更严谨一点的证明方法。