“…For k = 2 (graphs) the value of n 0 (2, t) was determined by Erdős and Gallai [2]. The case k = 3 was recently investigated by Frankl, Rödl, and Rucinśki [10] and n 0 (3, t) was finally determined by Luczak and Mieczkowska [21] for large t, and by Frankl [6] for all t. In general, Huang, Loh, and Sudakov [16] showed n 0 (k, t) < 3tk 2 , which was slightly improved in [9] and greatly improved to n 0 (k, t) ≤ (2t + 1)k − t by Frankl [7]. Frankl [5] showed that for every n, k, t if a k-graph F on [n] has no t + 1 pairwise disjoint edges then |F| ≤ t n−1 k−1 .…”