Patrick B. answered 02/07/21
Math and computer tutor/teacher
I've already solved this problem...
define f(x) = x + sin(x)-1
f(0) = -1
f(pi/6) = pi/6 + sin(pi/6)-1
= pi/6 + 1/2 - 1
= pi/6 - 1/2
Now pi > 3, so pi/6 > 3/6 = 1/2...
so pi/6 - 1/2 > 0
So f(0) = =1 < 0 and f(pi/6)>0
so yes there is a solution by IVT