Ky Fan's inequality, refinement of the arithmetic-geometric inequality