A sum that appears in the UCB regret upper bound.

Bandits.UCB.constSum (c : ℝ) (n : ℕ) : ENNReal
Bandits.UCB.constSum (c : ℝ) (n : ℕ) :
  ENNReal

Code

noncomputable
def constSum (c : ℝ) (n : ℕ) : ℝ≥0∞ := ∑ s ∈ range n, 1 / ((s : ℝ≥0∞) + 1) ^ (c - 1)

Actions: Source · Open Issue