\lceil 2\lceil a\rceil+2\lceil b\rceil-2(\}a\{+\}b\{)\rceil=2\lceil a\rceil+2\lceil b\rceil-(i-1)