intros d l r h
⊢ ∀ (d : ℕ) (l r : ℝ), l < r → DifferentiableOn ℝ (iteratedDerivWithin d Real.exp (Set.Icc l r)) (Set.Ioo l r)
d : ℕ
l r : ℝ
h : l < r
⊢ DifferentiableOn ℝ (iteratedDerivWithin d Real.exp (Set.Icc l r)) (Set.Ioo l r)