Assertion: graph's number | /r/HasProperty | n 2
Facets:
Source sentences:
text: The maximum number of edges in an n-vertex triangle-free graph is ⌊ n 2 / 4 ⌋ .