有限でも期待値1.25になったじゃん
有限の自然数で解こうぜ兄貴