Từ bất phương trình ta có : \(\Leftrightarrow\left(3^x+x-4\right)\left(x^2+1\right)\le0\Leftrightarrow3^x+x-4\le0\)
Xét hàm số : \(f\left(x\right)=3^x+x-4;f'\left(x\right)=3^x\ln3+1>0\)
Suy ra hàm số đồng biến trên R
Do đó bất phương trình \(\Leftrightarrow f\left(x\right)\le f\left(1\right)\Leftrightarrow x\le1\)
Vậy bất phương trình có tập nghiệm S = (-\(\infty;1\)]