✨ ベストアンサー ✨
こんにちは!
簡単な解説を添付いたしましたのでご確認ください。
分からない部分、読めない部分等ありましたら遠慮なく仰ってください🙇♂️
(3)でb_nを定義する際、万が一a_n=1だと分母が0になってしまうため定義できなくなってしまいます。
なので分母は0になりませんよ!ということを(1)で示しているわけです!
要は(1)を抜いて問題を作ると、「このb_nって定義できない時あるんじゃ、、?」と深読みしてしまう人が出る可能性があるので、「ちゃんと常に定義できるので安心して解いてください!」ということを示すために作られているのではないかと思います!
こちらこそありがとうございます♪
お力になれて良かったです✨

ありがとうございます!解決しました。
親切な問題だったんですね。