Deriving nondecoupling effects of heavy fields from the path integral: A heavy Higgs field in an SU(2) gauge theory.