Having the difficulty (either in the "bits" form, big integer form, or human-readable format) and a given block hash, how does one know if they solved that block? What is the formula or algorithm for checking it?
(The question might seem trivial, but it does not seem to be described explicitly on the SE or the Wiki)