Prove RSelect runs in expected O(n) even with adversarial input

Analyze the prove rselect runs in expected o(n) even with adversarial input.

Examples
Input: "test_input_1"
Output: "output_1"
Hints

Prove RSelect runs in expected O(n) even with adversarial input

Analyze the prove rselect runs in expected o(n) even with adversarial input.