evaluating the limit using properties