Encontrar el valor promedio de la función $$F(x) = \int_x^1 \sin(t^2) \, dt$$ on $ [0,1] $.
Sé que es el valor promedio de una función $f(x)$ $[a,b]$ $f_\text{avg}=\dfrac1{b-a} \int_a^b f(x) \, dx$, pero no sé cómo aplicar a esta pregunta... ¿Los loos de función como la integral de Fresnel? Pero eso no muy me ayuda tampoco.