For every number N in a sequence of numbers it is true that each odd N is followed by 0 or more other numbers (not including 0) then the number N+1.
How do I write this formally?
This is my attempt but it is probably wrong.
∀ a at position b:
a is odd ∧
∃ c at position d:
d > b ∧
c = a + 1 ∧
∀ e at position f:
d > f > b ∧
e != 0