About rel_entr(positive, convex)

Have you proven that is convex (or concave)?