[math-fun] Felix Bloch exonerated & fine structure constant approximation