What is #int_1^oo 1/2^x dx#?