>>224
limxn=limsupxn=liminfxn