Again, I am not sure how the following works; Could someone please give me an almost stupidly detailed explanation of why/what is happening in the part below. First, the question itself;
Q. $B_t$ is a standard Brownian motion. Use Ito's formula to show the following identity holds,
$$\int_0^tB_s^3ds=\frac{1}{4}B_t^4-\frac{3}{2}\int_0^tB_s^2ds$$
Answer(partial)
A. By Ito's formula, one obtains $dB_s^4=4B_2^3dB_2+6B_s^2ds$ and which by integrating both sides ...etc
The rest is fine. I just don't know how "Ito's formula" gives "$dB_s^4=4B_2^3dB_2+6B_s^2ds$". I thught Ito's formula was the super tedious stochastic equation.
Briefly, it says for a Ito process $X_t$ which is defined $dX_t=\mu dt+\sigma dW_t$ with $X_0=x_0$, we have for some new Ito Process $Y_t$,
$$dY_t=[\frac{\partial f}{\partial t}+\mu \frac{\partial f}{\partial t}+\frac{\sigma^2}{2}\frac{\partial^2 f}{\partial t^2}]dt+[\sigma \frac{\partial f}{\partial x}]dW_t$$
I thought this differential equation was the "Ito's Formula". But how does this lead to the answer above??? I guess it's something very elementary but as a newbie, no, I don't see what is going on at all. Can someone elaborate on what the answer above has skipped and abbreviated? The bit "one obtains" as to how?
Thank you very much in advance for your help