“…. We do not have a closed-form description of f , but one can work out that f takes the values 0, 4,8,9,13, and 16 for t = 0, 1, 2, 3, 4, and 5 respectively. It is not hard to see that if we allow real values for d i , then the minimum of d 2 i occurs when m = 1 and d 1 = d, and satisfies d 2 − d = 2t.…”