Ja, es ist tatsächlich \(2 \log n \in O(n^m)\). Außerdem ist auch
\(2\log n \in O(\log n)\).
Zur Erinnerung:
\(f\in O(g) \iff \exists N\,\exists c>0\, \forall n\geq N\, |f(n)| \leq c\cdot|g(n)|\).
Dann sieht man \(2\log n \in O(\log n)\) durch Wahl von \(N=1,c=2\).