Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-205/3/b/solution

Apply part a to each of the at most nonzero differences . For , the union bound makes the probability of any failure at most
The assumed inequality makes this smaller than . Hence, simultaneously for every distinct pair,
with probability at least , which is the finite-set Johnson–Lindenstrauss lemma.

New to topics? Read the docs here!