数学归纳法可以证明最少需要log2N+1张