int(int(ln(u/v),u=(1+v)/2..8-v),v=1..5)