[Sirius]

ถ้า n ขึ้นต้นด้วย 9 จะได้ว่า n/9 มีจำนวนหลักเท่ากับจำนวนหลักของ n
แต่ถ้า n ไม่ขึ้นต้นด้วย 9 จะได้ว่า n/9 มีจำนวนหลักน้อยกว่าจำนวนหลักของ n
ดังนั้นจำนวนของจำนวนที่ขึ้นต้นด้วย 9 เท่ากับ 4000 ลบด้วยจำนวนหลักของ $9^{4000}$
แต่จำนวนหลักของ $9^{4000}=4000\times log \ 9=3816$
จึงได้ว่ามีจำนวนที่ขึ้นต้นด้วย 9 ทั้งหมด 4000-3816=184 จำนวน