Why `divmod(float('inf'), 1) == (float('nan'), float('nan'))`

[Ian Kelly]

On Wed, Sep 17, 2014 at 3:37 PM, Chris Angelico <rosuav at gmail.com> wrote:
> It's not something I've personally worked with, so I'm trying to
> dredge stuff up from my brain, but I think there's something along the
> lines of "stuff shouldn't be a multiple of everything" and the Prime
> Number Theorem. But that may just be a case where float != real.

Certainly no finite number can be a multiple of everything. Are you
perchance thinking of the proof of Euclid's theorem?