update master theorem, easier explanation