Let $G$ be a finite group. Show there exists a fixed positive integer $n$ such that $a^n = e$ for all $a\in G$.
We know: $n$ is independent of $a$.
Let $G$ be a finite group. Show there exists a fixed positive integer $n$ such that $a^n = e$ for all $a\in G$.
We know: $n$ is independent of $a$.
Hint: For any element $g \in G$, what can you say about $g^{|G|}$?
Here is an outline for an elementary argument that avoids Lagrange's theorem:
Given $a\in G$, there is $n_a\in\mathbb N$ such that $a^{n_a}=e$.
$a^{kn_a}=e$ for all $k\in\mathbb N$.
Consider $n=\operatorname{lcm}_{a\in G} n_a$.
Of course, that $G$ is finite is essential here.