問題はこちら（画像をクリックするとPDFファイルで開きます。）
２項間漸化式ならぬ２項間不等式です。
本問で扱う２項間の関係は「不等式」であり、数列 \(\{a_{n}\}\) を具体的に定めていく規則性のある等式ではありません。
そのあたりの言われれば当然のことをしっかりと意識しているかで偶然解けるか、必然的に解けるかが分かれるでしょう。
（以下ネタバレ注意）
+ クリック（タップ）して続きを読む もちろん、問題文で言われている主張は本当なのですが、 \(a_{n+1} \gt \displaystyle \frac{1}{2}a_{n}-p\) を満たさないように最善を尽くしてみようという気持ちで実験してみます。 つまり、 \(a_{n+1} \leq \displaystyle \frac{1}{2}a_{n}-p\) を満たすように作っていきます。 例えば \(p=1\) ぐらいで実験してみます。 初項 \(a_{1}\) はなるべく大きな方がよいでしょう。 例えば \(a_{1}=2022\) とでもしてみます。 そうなると \(a_{2} \leq \displaystyle \frac{1}{2} \cdot 2022-1\) を満たすように \(a_{2}\) を定めます。 そこで \(a_{2}=1010\) とします。 次の \(a_{3}\) は \(a_{3} \leq \displaystyle \frac{1}{2} \cdot 1010-1\) を満たすように \(a_{3}\) を定めます。 そこで \(a_{3}=504\) とします。 次の \(a_{4}\) は \(a_{4} \leq \displaystyle \frac{1}{2} \cdot 504-1\) を満たすように \(a_{4}\) を定めます。 別に等号成立のときばかり考える必要はないため \(a_{4}=250\) と定めてもいいですね。 さすがにここまで実験すれば分かると思いますが \(a_{n+1} \leq \displaystyle \frac{1}{2}a_{n}-p\) を満たすように \(a_{1}\) , \(a_{2}\) , \(\cdots\) を構築していくと、数列 \(\{a_{n}\}\) は単調減少となり、いずれ負の項となってしまうことが分かります。 一方で数列 \(\{a_{n}\}\) の各項は正の項からなるため、おかしなことになります。 実験を含めたこのカジュアルな実験と要領を、フォーマルに記述する武器と言えば 背理法 でしょう。 いつか負の項となってしまうということは、極限 \(\displaystyle \lim_{n \to \infty} a_{n}\) について考えることになるというオチなども見据えながら、話を進めましょう。 もちろん、実験をしなくとも直感的に背理法を選択できる人もいるでしょう。 それはそれで鋭さをもった力のある証だと思いますし、多分実戦の現場で背理法を選択できた人はいわゆる「手なりに」選択した人が多いと思います。 確かに試験場では思いついたもん勝ちという側面が強いですが、それがギャンブル的になってしまっては考えものです。 普段の学習においては、この「解法でいく必然性」のようなものを、出来る限り自分の中に見出していけるようにしていってください。ホントかよという気持ち
実験の結果