The proof of Theorem 2 utilizes the anti-concentration property of the maximum of Gaussian random variables for ensuring frequent optimism.
we show in the following lemma that the proposed optimistic sampling can ensure a constant probability of optimism.