Edge-maximality of power graphs of finite cyclic groups

We show that among all finite groups of any given order, the cyclic group of that order has the maximum number of edges in its power graph.