17世紀、光の速さが有限であることを、木星の衛星イオの食の周期のずれから初めて証明したのは誰か。

オーレ・レーマーは地球と木星の距離の変化によって食の時刻がずれることから、光速を推算した。