فکر می کنم اینطوری بشه:
چون (T(n یک تابع اکیدا صعودی است پس برای n های به اندازه کافی بزرگ داریم:
T(n2)<T(n2√n)<T(3n4)⇒T(n2)1<T(n2√n)1<T(3n4)1
حالا اگه مرتبهی اون عبارت سمت راست نامساوی رو حل کنیم با قضیه اصلی می شه: Logn
پس مرتبهی عبارت وسطی نامساوی، که مد نظر ما هم هست: می شه

O(Logn
یک جورایی هم قضیه ساندویچ خودشو توی این سوال نشون می ده. فتدبر!