>>369
> 「最小値ε_min」を示して下さい

f(x)を選べば1/q'
g(x)を選べば1/q

> もっと、ε_minは、小さくあるべきだと。
> それは、ε近傍が「いくらでも小さくとれる」から導かれるよ

qとq'を変数だと思えばf(x)のε近傍(0, 1/q)が「いくらでも小さくとれる」
がg(x)のε近傍(0, 1/q')も同様に「いくらでも小さくとれる」

この場合はqとq'の大小関係に依存するので当たる確率は1/2になる
f(x)を選んだ場合は区間(0, 1/q)が常に(0, 1/q')を含むのならε近傍を
どれだけ小さくしても数当ては成功するが逆に(0, 1/q')に含まれるのならば
失敗する

さらに書き加えるとq = q'ならばε近傍は等しいので数当ては成功する