Real sequence/Decreasing/Definition