# Thread: Proper Divergence and Limits

1. ## Proper Divergence and Limits

Let Xsubn by properly divergent and let Ysubn be such that lim(Xsubn*Ysubn) belongs to the reals. Show that Ysubn converges to 0. I'm not really sure how to go about proving this. I know that Ysubn must converge, I'm not sure how to show that it converges to 0. Any help is much appreciated. Thanks

2. Originally Posted by jkru
Let $(x_n)_n$ by properly divergent and let $(y_n)_n$ be such that $x_n y_n \xrightarrow[n\to\infty]{}\ell\in\mathbb{R}$. Show that $(y_n)_n$ converges to 0. I'm not really sure how to go about proving this. I know that $(y_n)_n$ must converge, I'm not sure how to show that it converges to 0. Any help is much appreciated. Thanks
Procede by contradiction: Suppose $(y_n)_n$ does not converge to 0. Then there exists a real number $\varepsilon>0$ and a subsequence $(y_{\varphi(n)})_n$ such that, for every $n$, $|y_{\varphi(n)}|>\varepsilon$.
However, this implies $|x_{\varphi(n)}y_{\varphi(n)}|\geq \varepsilon|x_{\varphi(n)}|\xrightarrow[n\to\infty]{}+\infty$, in contradiction with the fact that $(x_ny_n)_n$ converges in $\mathbb{R}$.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 13, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9972313642501831, "perplexity": 97.41426199555542}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2017-22/segments/1495463608676.72/warc/CC-MAIN-20170526184113-20170526204113-00189.warc.gz"}