Two integer sequences related to Catalan numbers

We prove the following conjecture of Zeilberger. Denoting by Cn the Catalan number, define inductively An by and an=2An/Cn. Then an (hence An) is a positive integer.