∀ {α : Type u_1} {E : Type u_3} [inst : SeminormedAddCommGroup E] [inst_1 : NormedSpace ℝ E] {f : α → E} {s : Set α}
  {c : α} {y : E}, IsMaxOn (norm ∘ f) s c → SameRay ℝ (f c) y → IsMaxOn (fun x => ‖f x + y‖) s c