竞赛图中的给定长度路径

我们证明每个$n$个顶点的竞赛图至多具有$n\left(\frac{n-1}{2}\right)^k$条长度为$k$的通路。