A function related to the Mordell–Weil rank of elliptic curves | Synapse