[step:Transfer irreducibility from $R$ to $\bar{R}$ when $\chi$ is irreducible]Suppose $\chi$ is irreducible, i.e. $R$ is an irreducible representation: the only $R$-invariant subspaces of $\mathbb{C}^n$ are $\{0\}$ and $\mathbb{C}^n$.
We must show that $\bar{R}$ is irreducible. Define entrywise complex conjugation as a map on column vectors:
\begin{align*}
c: \mathbb{C}^n &\to \mathbb{C}^n \\
(z_1, \ldots, z_n) &\mapsto (\overline{z_1}, \ldots, \overline{z_n}).
\end{align*}
This is a real-linear (but conjugate-linear over $\mathbb{C}$) bijection. It is **not** $\mathbb{C}$-linear, but the key fact we need is its compatibility with matrices: for any $A \in \operatorname{Mat}_n(\mathbb{C})$ and $v \in \mathbb{C}^n$,
\begin{align*}
c(A v) = \overline{A}\, c(v).
\end{align*}
This holds because the $i$-th component is $\overline{\sum_j A_{ij} v_j} = \sum_j \overline{A_{ij}}\, \overline{v_j} = (\overline{A}\, c(v))_i$.
Let $W \subseteq \mathbb{C}^n$ be a $\bar{R}$-invariant $\mathbb{C}$-linear subspace. Define $c(W) := \{c(w) : w \in W\}$. Because $c$ is real-linear and conjugate-linear, $c(W)$ is again a $\mathbb{C}$-linear subspace of $\mathbb{C}^n$ (closed under sums; closed under scalar multiplication: $\lambda \cdot c(w) = c(\overline{\lambda} w) \in c(W)$ provided $\overline{\lambda} w \in W$, and since $W$ is a $\mathbb{C}$-subspace with $w \in W$, $\overline{\lambda}w \in W$).
Now $c(W)$ is $R$-invariant: for $g \in G$ and $w \in W$,
\begin{align*}
R(g) \cdot c(w) = c(\overline{R(g)}\, w) = c(\bar{R}(g)\, w) \in c(W),
\end{align*}
using the compatibility relation in reverse and the $\bar{R}$-invariance of $W$. By irreducibility of $R$, $c(W) \in \{0, \mathbb{C}^n\}$. Since $c$ is a bijection, $W = c^{-1}(c(W)) \in \{0, \mathbb{C}^n\}$. Hence $\bar{R}$ has no nontrivial invariant subspace, i.e. $\bar{R}$ is irreducible. Therefore $\bar{\chi}$ is an irreducible character.[/step]