답변:
주어진 m = \ omega (\ sqrt {n}) 이라고 가정하십시오 .
수정하십시오 . 과 함께 을 고려할 것 입니다. 목표는 확률이 인 이 차이 집합에 포함되어 있음을 보여주는 것입니다 .r ∈ [ 1 , n ] r < ( 1 − ϵ ) n n → ∞ r
먼저 집합 . 다수의 와 그러한 주위 기대 이항이다 . 따라서 가능성이 높으면 이러한 의 수는 이상 이며 입니다. 그런 다음 와 같이 높은 확률로 (표시하기 어려운 "운동으로 남김"), 세트 크기는 입니다. 이 "좋은 이벤트", 즉 대해 를 작성하겠습니다 .i i < m / 2 a i < ϵ n ϵ m / 2 n → ∞ i ϵ m / 4 ω ( √n→∞A √ G| A| ≥ √
실제로 보유, 즉 대해 보다 작은 이상의 값이 있다고 가정합니다 . 이러한 각 값에 대해 정확히 더 큰 값 이 있습니다. 이제 대한 값을 고려하십시오 . 이들은 독립적이며 각각 은 세트 의 요소에서 거리에있을 가능성이 적어도 입니다 . 차이 이 생성 되지 않을 확률 은 최대√ IεNI<m/2K∈[1,N은]r에II≥m/2 √ rAr(1−1/ √ n→∞m=ω( √ 이후 로 0이됩니다 . 따라서 실제로 보유하지만 크기 차이가 존재 하지 않을 확률 은 로 0이되는 경향이 있습니다.Grn→∞
따라서 (균일하게 ) 이 차이 집합에 포함될 확률 은 로 1이됩니다 . 따라서 기대치의 선형성을 사용하여 이후 임의로 원하는 한계는 1이다.r n → ∞ lim inf n → ∞ E [ # { | a i − a j | , 1 ≤ i , j ≤ m }ϵ