胴元「20000円なんて入れてないよ」が無ければ、
事前分布を仮定しっぱなしで改訂されないから
ベイズ推定で何でもないただの仮定に過ぎない
ということになるんだが。
開けた封筒が10000円だったという情報が、
封筒の分布をどう改訂するのか、書いてみたら？