theorem not_integrableOn_Ioi_rpow' {a s : ℝ} (ha : 0 ≤ a) (hs : -1 ≤ s) : ¬MeasureTheory.IntegrableOn (fun (x : ℝ) => x ^ s) (Set.Ioi a) MeasureTheory.volume