任意の正の実数という以外に一体どんな任意を期待しているのか?