Ky Fan’s inequality, Levinson’s inequality, generalized weighted power means, mean value theorem