The order of a conjugacy class is bounded by the index of the center

abstract-algebra group-theory group-actions

Your proof is correct, but you can simplify the end by saying that $$[G:C_G(g_i)] \leq [C_G(g_i):Z(G)]\cdot[G:C_G(g_i)] =n$$ Actually a contradiction is not needed.

Related

Why isn't an odd improper integral equal to zero
Wasserstein distance from a Dirac measure
Need a hint: show that a subset $E \subset \mathbb{R}$ with no limit points is at most countable.
To what fractional Sobolev spaces does the step function belong? (Sobolev-Slobodeckij norm of step function)
What does a well ordering of $\mathbb{R}$ look like? [duplicate]
There exists $C\neq0$ with $CA=BC$ iff $A$ and $B$ have a common eigenvalue
convergence in mean square implies convergence of variance
How to evaluate $\lim_{ n\to \infty }\frac{a_n}{2^{n-1}}$, if $a_0=0$ and $a_{n+1}=a_n+\sqrt{a_n^2+1}$? [duplicate]
Orthogonality of Bessel functions
On products of ternary quadratic forms $\prod_{i=1}^3 (ax_i^2+by_i^2+cz_i^2) = ax_0^2+by_0^2+cz_0^2$
What are the explanations for certain steps in these proofs for the irrationality/rationality of certain numbers?
How to derive the 3D equation of a torus?