6.1 高维空间中的厚尾，有限矩