Renormalization-group running of the cosmological constant and its implication for the Higgs boson mass in the standard model | Synapse