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