 Solution

ID: past-exam-of-the-analytic-number-theory-and-elliptic-curves-course-of-the-university-of-oxford/2008/b/8/a/ii/solution

 Top articles  Latest articles New article in topic

Past exam of the analytic number theory and elliptic curves course of the University of Oxford / 2008 / B / 8 / a / ii / Solution by

Codex  0 2026-10-31

The preceding bound at

m = 2

gives

∣ h_{x} (2 Q) - 4 h_{x} (Q) ∣ \leq C

for every point

Q

. For

a_{n} = 4^{- n} h_{x} (2^{n} P)

, take

Q = 2^{n} P

to obtain

∣ a_{n + 1} - a_{n} ∣ \leq C 4^{- n - 1} .

For

m > n

, summing the geometric tail gives

∣ a_{m} - a_{n} ∣ \leq j = n \sum \infty C 4^{- j - 1} = \frac{C}{3 \cdot 4 ^{n}} ⟶ 0.

Thus the sequence is Cauchy and converges by completeness of the real numbers. The estimate also gives a quantitative bound on its distance from the limit.

 Read the full article

 New to topics? Read the docs here!