>>78
0<s,t<1 で通じると思われる。
s と t を交換しても一般性が崩れない場合は、0＜s≦t＜1 とかできる。