Пусть $ X_t $ - процесс Орнштейна-Уленбека, решающий $ dx_t = θ (μ − x_t) dt + σdW_t $. Существует ли формула замкнутой формы для интеграла времени $ \ int_0 ^ sX_t ^ 2dt $?