Vrijeme: 11:54

Invarijante i monovarijante - Zadatak 1

Neka je a_1, a_2, \dotsc a_n permutacija brojeva 1,2,\dotsc n. Ako je n neparan, dokažite da je \begin{equation*}
        P=(a_1-1)(a_2-2)\cdots (a_n-n)
    \end{equation*} paran broj.