Consider the discrete-time sequence

\(x\left( n \right) = \cos \left( {\frac{{\pi n}}{8}} \right)\).

When sampled at frequency f_s = 10 kHz, then f₀, the frequency of the sampled continuous-time signal which produced this sequence will at least be