[math-fun] Rank of an elliptic curve