I wish to know the latest bound on the number of edges a graph of girth greater than or equal to $t$ can have.
Specifically, I heard somewhere that a graph of girth greater than or equal to $t$ can have at most $n^{2-\frac{2}{t}}$$O(n^{2-\frac{2}{t}})$ edges. Is it true?