An elliptic curve of rank ≥ 30