“I am thinking about something much more important than bombs; I am thinking about computers.“
The density is properly normalized:
To see why, consider 1π∫Rx1+x2dx=2π∫∞0x1+x2dx=1πlimx→∞log(1+x2)