元のパラドックスのミソは、ベイジアンの算出した1/4にも
理があるということ。