a < a + 1 by XREAL_1:31;
hence not ].a,+infty .[ is empty by XXREAL_1:235; :: thesis: verum