I'm wondering if there is a proof of the Chebotarev density theorem that does not require the use of any big results in class field theory, such as Artin Reciprocity.
As I understand it, the main difficulty comes in establishing the abelian case, in which the idea of proof is similar to Dirichlet's theorem. Then we run into the issue of the non-vanishing of the L-function, which is proven by showing that their product is the Dedekind zeta function. This last statement requires Artin reciprocity.
I would like to know if there's another way of getting around this or if the last statement doesn't actually require any advanced class field theory.