The supernova 1987A explosion in the Large Magellanic Cloud 170 000 light years from Earth produced a burst of anti-neutrinos $\overline{v}_e$ which were observed in terrestrial detectors. If the anti-neutrinos are massive, their velocity would depend on their mass as well as their energy. What is the proper time inter- val between the emission, assumed to be instantaneous, and the arrival on Earth? Show that in the limit of vanishing mass the proper time interval is zero. What information can be derived about the anti-neutrino mass from the observation that the energies of the anti-neutrinos ranged from $7$ to $11$ MeV, and the arrival times showed a dispersion of $7$ s?
I'm having some troubles with the first part of this problem. When it says proper time interval I'm assuming that just means to integrate $dt'=dt\sqrt{1-(v/c)^2}$? But I need to find the velocity that the neutrinos are traveling at. I know that I can find the mass of the neutrinos using $E=mc^2$ but could I also use the fact that $m=(\hbar v)/c^2$ where $\hbar$ is the Planck constant and substitute that into $E=mc^2$ to get the velocity as $v=E/\hbar$? Then using that in the equation for $dt'$ just integrate with the limits of $t_{emission}$ and $t_{arrival}$? Also, would I use the fact that the light from the supernova arrived at earth in $1987$ and that it is $170000$ ly away as the $t_{emission}$ and $t_{arrival}$ times?