sqrt2progression_int (downwards)