Falsch.

Man formuliere die O-Notation um:

O(3^n  *  log n ) 

=  O ((2* 1,5)^n * log n ) 

= O (2^n * 1,5^n * log n )

Nun haben wir den Algorithmus mit der Laufzeit

n * 2^n

= n^1 * 2^n.

Ihr müsstet nun irgend einen Satz haben, dass der Ausdruck c ^n mit einer Konstanten c > 1 immer schneller wächst als jede Potenz n^t mit beliebig großem t. D.h. selbst 1,00001^n wächst asymptotisch schneller als n^99999999. Daher ist schon 1,5^n alleine  asymptotisch größer als n.

(2+c)^n mit beliebig kleinen c ist immer größer als 2^n * n^t mit beliebig großem t. ;)