$n$ 番目の素数を $p_n$ とするとき、$p_n \sim n \log n$ となる法則を何と呼ぶか。

鳩の巣原理を用いて、6人いれば「互いに知り合いの3人」か「互いに他人の3人」がいることを示す理論は。