Let the Minkowski metric $\eta_{\mu\nu}$ in $d+1$ space-time dimensions be
$$\tag{1}\eta_{\mu\nu}~=~{\rm diag}(1, -1, \ldots,-1).$$
Let the Lie group of Lorentz transformations be denoted as $O(1,d;\mathbb{R})=O(d,1;\mathbb{R})$. A Lorentz matrix $\Lambda$ satisfies (in matrix notation)
$$\tag{2} \Lambda^t \eta \Lambda~=~ \eta. $$
Here the superscript "$t$" denotes matrix transposition. Note that the eq.(2) does not depend on whether we use east-coast or west-coast convention for the metric $\eta_{\mu\nu}$.
Let us decompose a Lorentz matrix $\Lambda$ into 4 blocks
$$\tag{3} \Lambda ~=~ \left[\begin{array}{cc}a & b^t \cr c &R \end{array} \right],$$
where $a=\Lambda^0{}_0$ is a real number; $b$ and $c$ are real $d\times 1$ column vectors; and $R$ is a real $d\times d$ matrix.
Now define the set of orthochronous Lorentz transformations as
$$\tag{4} O^{+}(1,d;\mathbb{R})~:=~\{\Lambda\in O(1,d;\mathbb{R}) | \Lambda^0{}_0 > 0 \}.$$
The proof that this is a subgroup can be deduced from the following string of exercises.
Exercise 1: Prove that
$$\tag{5} |c|^2~:= ~c^t c~ = ~a^2 -1.$$
Exercise 2: Deduce that
$$\tag{6} |a|~\geq~ 1.$$
Exercise 3: Use eq.(2) to prove that
$$\tag{7} \Lambda \eta^{-1} \Lambda^t~=~ \eta^{-1}. $$
Exercise 4: Prove that
$$\tag{8} |b|^2~:= ~b^t b~ = ~a^2 -1.$$
Next let us consider a product
$$\tag{9} \Lambda_3~:=~\Lambda_1\Lambda_2$$
of two Lorentz matrices $\Lambda_1$ and $\Lambda_2$.
Exercise 5: Show that
$$\tag{10} b_1\cdot c_2~:=~b_1^t c_2~=~a_3-a_1a_2.$$
Exercise 6: Prove the double inequality
$$\tag{11} -\sqrt{a_1^2-1}\sqrt{a_2^2-1} ~\leq~ a_3-a_1a_2~\leq~ \sqrt{a_1^2-1}\sqrt{a_2^2-1},$$
which may compactly be written as
$| a_3-a_1a_2|~\leq~\sqrt{a_1^2-1}\sqrt{a_2^2-1}$.
Exercise 7: Deduce from the double inequality (11) that
$$\tag{12} a_1\neq 0 ~\text{and}~ a_2\neq 0~\text{have same signs} \quad\Rightarrow\quad a_3>0. $$
$$\tag{13} a_1 \neq 0~\text{and}~ a_2\neq 0~\text{have opposite signs} \quad\Rightarrow\quad a_3<0. $$
Exercise 8: Use eq.(12) to prove that $O^{+}(1,d;\mathbb{R})$ is stabile/closed under the multiplication map.
Exercise 9: Use eq.(13) to prove that $O^{+}(1,d;\mathbb{R})$ is stabile/closed under the inversion map.
The Exercises 1-9 show that the set $O^{+}(1,d;\mathbb{R})$ of orthochronous Lorentz transformations form a subgroup.$^1$
$^1$A mathematician would probably say that eqs. (12) and (13) show that the map
$$O(1,d;\mathbb{R})\quad \stackrel{\Phi}{\longrightarrow}\quad
\{\pm 1\}~\cong~\mathbb{Z}_2$$
given by
$$\Phi(\Lambda)~:=~{\rm sgn}(\Lambda^0{}_0)$$
is a group homomorphism between the Lorentz group $O(1,d;\mathbb{R})$ and the cyclic group $\mathbb{Z}_2$, and a kernel
$$ {\rm ker}(\Phi)~:=~\Phi^{-1}(1)~=~O^{+}(1,d;\mathbb{R}) $$
is always a normal subgroup.
