A004230 a(n) = 10000*log_10(n) rounded up.
0, 3011, 4772, 6021, 6990, 7782, 8451, 9031, 9543, 10000, 10414, 10792, 11140, 11462, 11761, 12042, 12305, 12553, 12788, 13011, 13223, 13425, 13618, 13803, 13980, 14150, 14314, 14472, 14624
Offset: 1