Mestre bound sharpness conjecture over number fields
Fix a number field FFF. For each positive integer NNN, let rF(N)r_F(N)rF(N) be the maximum of RankZE(F)\operatorname{Rank}_{\mathbb{Z}}E(F)RankZE(F) over elliptic curves E/FE/FE/F whose conductor…