Gaussian lower bound for the FIN diffusion

We establish a Gaussian lower bound for the FIN singular diffusion using the Ray-Knight description of the local time.