# asmeurer

reputation
724
bio
website        asmeurersympy@wordpress.org
location       New Mexico
age
member for     2 years, 9 months
seen           yesterday
profile views  246

I am a graduate student in mathematics at NMSU. I am the lead developer for the SymPy project.

I will gladly license my code snippets under something more permissive than StackExchange's CC-BY-SA if you want. Consider my work here to be public domain.

|            |                  | bio        | visits                      |            |                   |
|------------|------------------|------------|-----------------------------|------------|-------------------|
|            | 1,737 reputation | website    | asmeurersympy@wordpress.org | member for | 2 years, 9 months |
| 724 badges | location         | New Mexico | seen                        | yesterday  |                   |

# 228 Actions

|       |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|-------|----------|----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| 2d    | awarded  | Good Answer                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      |
| May12 | comment  | How to represent the floor function using mathematical notation?With the note that the $\max$ is well-defined because the set is bounded from above (by $x$), and every set of integers bounded above has a maximum element by the well-ordering principle.                                                                                                                                                                                                                                                                      |
| May8  | awarded  | Caucus                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           |
| Apr26 | asked    | Understanding a proof of Diaconescu's theorem                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    |
| Apr26 | awarded  | Nice Answer                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      |
| Apr6  | comment  | Let $A^{27}=A^{64}=I$, show that $A=I$This is a great way to understand the Euclidean algorithm!                                                                                                                                                                                                                                                                                                                                                                                                                                 |
| Mar27 | answered | All natural numbers are equal.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   |
| Mar26 | comment  | How to show $(1/n!)^{1/n}$ goes to $0$ as $n$ goes to infinity?I guess it's basically the proof from Ofir's answer. The interesting thing about this one is that you can get it easily just from the definition of $\ln{x}$ as $\int_1^x{\frac{dt}{t}}$. My professor showed us it as part of deriving facts about exponentials and trig functions from the base definitions. The 4 comes from the fact that you can easily show that $\ln(4) > 1$ just from the integral definition of $\ln$ and a simple Riemann sum argument. |
| Mar26 | comment  | How to show $(1/n!)^{1/n}$ goes to $0$ as $n$ goes to infinity?Oh, sorry, I remembered wrong. The bound is $(n/4)^n\geq n!$. It comes from taking $\ln$ of both sides (I can put the proof in an answer if you are interested).                                                                                                                                                                                                                                                                                                  |
| Mar24 | comment  | How to show $(1/n!)^{1/n}$ goes to $0$ as $n$ goes to infinity?I believe if you replace $e$ with 2 in the inequality, you can prove this without integration.                                                                                                                                                                                                                                                                                                                                                                    |
| Mar22 | answered | What was the first bit of mathematics that made you realize that math is beautiful? (For children's book)                                                                                                                                                                                                                                                                                                                                                                                                                        |
| Mar22 | comment  | What was the first bit of mathematics that made you realize that math is beautiful? (For children's book)Actually, the one that's interesting is the sum of the first $n$ odd integers.                                                                                                                                                                                                                                                                                                                                          |
| Feb15 | awarded  | Necromancer                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      |
| Feb12 | comment  | Unusual 5th grade problem, how to solve itAh, missed that.                                                                                                                                                                                                                                                                                                                                                                                                                                                                       |
| Feb12 | comment  | The kernel of a continuous linear operator is a closed subspace?Wouldn't your argument about a convergent subsequence just imply that ker L is not compact, not open?                                                                                                                                                                                                                                                                                                                                                            |
| Feb12 | comment  | Unusual 5th grade problem, how to solve itI think it's less than $n!$ if you still consider $\frac{1}{2} + \frac{1}{2}$ and $\frac{1}{2} + \frac{1}{2}$ to be the same.                                                                                                                                                                                                                                                                                                                                                          |
| Feb12 | comment  | The kernel of a continuous linear operator is a closed subspace?You don't need to assume that $L \neq 0$. If $L = 0$, then it is automatically continuous, and the kernel, the whole space, is closed.                                                                                                                                                                                                                                                                                                                           |
| Jan19 | awarded  | Nice Question                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    |
| Jan1  | awarded  | Nice Question                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    |
| Dec24 | comment  | Purely “algebraic” proof of Young's Inequality@AndresCaicedo excellent blog post!                                                                                                                                                                                                                                                                                                                                                                                                                                                |
{"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": 26, "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.9422256350517273, "perplexity_flag": "middle"}