We will prove by induction that odd(N)⋅even(N)<N for all positive integers N with 2k digits.
If N=10a+b, a,b∈{0,1,2,…,9}, a=0, N=10a+b>a⋅b+b≥a⋅b=even(N)⋅odd(N).
Now suppose that N has 2k>2 digits and that the claim is true for all numbers with 2k−2 digits. Let c and d be the two leftmost digits of N, so that N=c⋅102k−1+d⋅102k−2+N0, N0 with 2k−2 digits. Then odd(N)=d⋅10k−1+odd(N0) and even(N)=c⋅10k−1+even(N0). So we need to prove that
c⋅102k−1+d⋅102k−2+N0⟺c⋅102k−1+d⋅102k−2+N0>(c⋅10k−1+even(N0))⋅(d⋅10k−1+odd(N0))>cd⋅102k−2+d⋅10k−1⋅even(N0)+c⋅10k−1⋅odd(N0)+odd(N0)⋅even(N0)
But this is true, since both odd(N0) and even(N0) are less than 10k−1 and thus
c⋅102k−1d⋅102k−2N0≥c(d+1)⋅102k−2>cd⋅102k−2+c⋅10k−1⋅odd(N0)>d⋅10k−1⋅even(N0)>odd(N0)⋅even(N0)