btcprox is a user on mathstodon.xyz. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
@christianp@axiom@btcprox Whilst I had no doubt of that, this turned out to be a fun exercise. It seems the JVM can brute force the full answer in a few minutes.
answer Show more
@btcprox is it not just \(\frac{10^{10}}{2}\)?