Facebook 定数Λの証明 HO1探索者