sympy: symbolic limit of a function