Is an algorithm to round a non-integer rational number to the subsequent integer. Mathematically we represent rounding a number \( i \) as \( \lciel i \rciel \).