sum (5-1) from k=0 to log_2(5)