Define binary operations ♢ and ♡ by
a♢b=alog10(b)anda♡b=alog10(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 log10(a2024)?
8
9
10
11
12