数Ｂの帰納法による証明で

（Ａ，Ｂ，Ｃは証明で出てくるkを使った式）
Ｂ−Ｃ＞０
∴Ａ≧Ｂ＞Ｃ
すなわちＡ≧Ｃ

と記述されてるのですが、すなわちでなぜＡ＞Ｃじゃなくて≧ってなるんですか？