https://123dok.net/document/y8gk6v2z-average-order-in-cyclic-groups.html