AISL 1.6.2 Upper and lower bounds