Der Königsweg ist hier eigentlich ein anderer.
Ja, nämlich im Induktionsschritt \(c_{n+2}\leq c_{n+1}\) zu zeigen.
Er möchte zeigen, dass \(c_{n+1}\leq c_n\).
Induktionsanfang: \(c_1=5\geq 3=c_2\)
Induktionsvoraussetzung: Es exisitiert ein \(n\in \mathbb{N}\), so dass \(c_{n}\geq c_{n+1}\).
Induktionsschritt: Nun ist zu zeigen, dass \(c_{n+2}\leq c_{n+1}\)