rt，推出来 $log_2 r$ 的性质还是很有难度的。