For a simple digraph G, let be the size of the smallest subset such that has no directed cycles, and let be the number of unordered pairs of nonadjacent vertices in G. A digraph G is called m‐free if G has no directed cycles of length at most m. This paper proves that for any m‐free digraph G, which generalizes some known results.