Taketa theorem