>>179
んー、自分で問題を難しくしてるだけのような気がするんだ
何を示したいのか？というゴールを見ないと深みにはまるだろうな。
余計な条件に目を奪われてはならない（´・ω・｀）

収束性を示したいだけなら、｜a(n+1)-3｜≦(2/3)｜a(n)-3｜が
示されていれば十分なわけで、等号が成立する場合があるのか無いのか
とか関係ないし、不等式で等号を入れたからといって
必ずしも等号成立条件を書かなければならないわけでもない
等号が入ってると困る場合を除けば x < y を x≦yと書いても問題ない（´・ω・｀）