Define binary operations ♢ and ♡ by a♢b=alog7(b)anda♡b=alog7(b)1
for all real numbers a and b for which these expressions are defined. The sequence (an) is defined recursively by a3=3♡2 and an=(n♡(n−1))♢an−1
for all integers n≥4. To the nearest integer, what is log7(a2019)?<spanclass=′latex−bold′>(A)</span>8<spanclass=′latex−bold′>(B)</span>9<spanclass=′latex−bold′>(C)</span>10<spanclass=′latex−bold′>(D)</span>11<spanclass=′latex−bold′>(E)</span>12