Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/ib/paper-1/12g/a/solution

Nonnegativity and symmetry are immediate. Moreover, exactly when , which means for every .
For three sequences , if and agree through coordinate and and agree through coordinate , then and agree through coordinate . Hence
and therefore
Thus is a metric; in fact, the stronger first inequality makes it an ultrametric.

New to topics? Read the docs here!