Bob Foster

lim[x->oo] (1 + 1/x)^x example hangs

1

$ hilbert -i Enjoy! -> postulate zfc_analysis success! :) Enjoy! -> lim[x->oo](1 + 1/x)^x (hangs) ^C/Library/Ruby/Gems/2.0.0/gems/hilbert-0.0.2700300/lib/hilbert/iq.rb:16:in `eval': /Library/Ruby/Gems/2.0.0/gems/dydx-0.2.7000001/lib/dydx/algebra/set.rb:180:in`**': (Interrupt) from /Library/Ruby/Gems/2.0.0/gems/dydx-0.2.7000001/lib/dydx/algebra/set.rb:180:in `block (3 levels) in ' from /Library/Ruby/Gems/2.0.0/gems/dydx-0.2.7000001/lib/dydx/algebra/operator/parts/num.rb:9:in`block (2 levels)...