sum(log_2((r+2)/(r+1)),r=0..2)=prod(log_r (r+1),r=10..99)