Find an interval of the form [a,b] in which the equation ln(2+x^4+cos(x))=4 has a solution. If any theorem is used, then carefully check the hypotheses.