# Help with relation on infimum

I'm trying to show: $\inf(x_k+y_k) \leq \inf(x_k)+\inf(y_k)$. So I did:

Let $r>0$, there is a $k_1$ such that $x_{k_1}\leq \inf(x_k)+r/2$ and there is a $k_2$ such that $y_{k_2}\leq \inf(y_k)+r/2$.

Then: $x_{k_1}+y_{k_2} \leq \inf(x_k)+\inf(y_k)+r$

I'd like to take the inf and make $r \rightarrow 0$, but since $k_1$ and $k_2$ may be different I can't conclude. Please somebody help!

-

"Inf" is super-additive, while "Sup" is subadditive. – Siminore Sep 28 '12 at 11:17

## 1 Answer

Let $x_k=(-1)^k$, $y_k=(-1)^{k+1}$. Then $x_k+y_k=0$ for all $k$, hence the $\inf$ is $0$ as well. However, $\inf x_k=\inf y_k=-1$.

-
{"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": 17, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "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": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9759030342102051, "perplexity_flag": "head"}