Steffensen inequality, Steffensen pair, generalized weighted mean values, extended mean values, mathematical induction, absolutely monotonic function