Then one should expect profit, on average, in 10,000 years, if solo mining.

I haven’t looked in to pool mining, but it would only pay out like $20/yr…maybe there’s a Lightning payout mining pool.