When will there be a new record for the best proven upper bound on the average rank of elliptic curves?