Neka su x_0 > x_1 > x_2 > ... prirodni brojevi...