Erdos

確率的方法：存在を「ランダム」で証明するエルデシュの魔法