limy⁡x