n-1≦100log₂12<n これを n-1≦100log₂12...① と 100log₂12<n...② に分けています。 ②はそのままです。 ①は両辺に+1して n≦100log₂12+1 後はこれらを合わせて 100log₂12<n≦100log₂12+1 となります。