When will there be a new record for the best proven lower bound on the maximum possible rank of an elliptic curve?