Formele definitie limiet voor x naar oneindig