上确界和下确界的存在
①可以通过 闭区间套定理的证明 过程来理解 ②这里用到了 极限与不等关系 ③可通过数轴关于原点两边对称这一点来理解 下面要说明的是“上确界是递增有界数列的极限“ ④应该说成是实数系的连续性更准确，因为单个实数只是一个个体，并不能表现出连续性，本博客会对“实数系的连续性”做专门讲解。 ⑤如果不存在$a_N$,那么就会得出a-ε是上界，与a是上确界矛盾
Posts
闭区间套定理（Nested intervals theorem）讲解2
①确界与极限，看完这篇你才能明白http://redstoneleo.blogspot.com/2017/01/2.html ②这个批注由 这个问题 而来 表示$c$可能在$\bigcap_{n=1}^{\infty} (a_{n},b_{n})$或$\bigcap_{n=1}^{\infty} (a_{n},b_{n}]$或$\bigcap_{n=1}^{\infty} [a_{n},b_{n})$或$\bigcap_{n=1}^{\infty} [a_{n},b_{n}]$内，$\bigcap_{n=1}^{\infty} (a_{n},b_{n})$、$\bigcap_{n=1}^{\infty} (a_{n},b_{n}]$、$\bigcap_{n=1}^{\infty} [a_{n},b_{n})$都是 $\bigcap_{n=1}^{\infty} [a_{n},b_{n}]$的真子集，$c$可以不在$\bigcap_{n=1}^{\infty} (a_{n},b_{n})$或$\bigcap_{n=1}^{\infty} (a_{n},b_{n}]$或$\bigcap_{n=1}^{\infty} [a_{n},b_{n})$内，但是$c$不可能不在$\bigcap_{n=1}^{\infty} [a_{n},b_{n}]$中，否则就与 矛盾了。所以在这里只有$\bigcap_{n=1}^{\infty} [a_{n},b_{n}]$才一定包含$c$，其它三种区间的交集形式仅仅只是可能包含$c$,这也启示我们并不只是只有闭区间套可以 包含$c$，其它三种区间的交集也可以 包含 $c$。 ③这里用到了 极限与不等关系
闭区间套定理（Nested intervals theorem）讲解1
① ②这里用到了 极限与不等关系 ③如果a≠b，那么便不会有$\lim _{n\rightarrow \infty }\left| I_n \right| =0$ ④如果还存在一点c在 内，那么同样也不会有$\lim _{n\rightarrow \infty }\left| I_n \right| =0$ 希望深入了解闭区间套定理（Nested intervals theorem），请看讲解2： http://redstoneleo.blogspot.com/2017/01/nested-intervals-theorem2_8.html
单调有界数列一定有极限
①②这种最大值或最大数码仅仅只是理论上预测到它确实存在而已，实际操作上除非能够比较完数列无限多项的值才能得出这种最大值或最大数码，但是“比较完数列无限多项”这种事情目前仍然是不可能的。 “最小上界是这个数列的极限”证明看这里：http://redstoneleo.blogspot.com/2017/01/2.html
更改Inno Setup中文语言文件的默认字体大小
从 https://www.jrsoftware.org/files/istrans/ 下载到的中文语言文件ChineseSimplified.isl默认字号太小，用下面的内容替换该文件里的LangOptions这个部分后终于可以看清楚一点了 [LangOptions] ; The following three entries are very important. Be sure to read and ; understand the '[LangOptions] section' topic in the help file. LanguageName=<4E2D><6587><FF08><7B80><4F53><FF09> LanguageID=$0804 LanguageCodePage=936 ; If the language you are translating to requires special font faces or ; sizes, uncomment any of the following entries and change them accordingly. DialogFontName=宋体 DialogFontSize=12 ;WelcomeFontName=Verdana WelcomeFontSize=10 ;TitleFontName=Arial ;TitleFontSize=29 ;CopyrightFontName=Arial CopyrightFontSize=12
让Django通过网易163邮箱报告异常和错误（exceptions and errors）
Django需要的EMAIL_HOST_PASSWORD不一定是你的邮箱登录密码，只有开启了网易邮箱smtp服务之后才会有EMAIL_HOST_PASSWORD，这和一般别的邮箱不同（比如139、189等邮箱，目前EMAIL_HOST_PASSWORD就是登录密码）。下面我们就来获取要用网易邮箱的EMAIL_HOST_PASSWORD。 首先不要以网易邮箱简约版登陆，因为现阶段简约版登陆后找不到我们接下来的设置选项 登陆后按照箭头所示点击 再次点击箭头所示之处 按要求设置就是了。获得的授权码就是EMAIL_HOST_PASSWORD，接下来就是具体的配置了，问题也不少，请看http://redstoneleo.blogspot.com/2016/12/email-reporting-exceptions-and-errors_30.html
email reporting exceptions and errors using AdminEmailHandler and SMTPHandler
The Django doc says: In order to send email, EMAIL_HOST, EMAIL_HOST_USER and EMAIL_HOST_PASSWORD are at the very least needed, but as I tested, we should also specify SERVER_EMAIL, and only when SERVER_EMAIL is equal to EMAIL_HOST_USER so can send the email, e.g. EMAIL_HOST = 'smtp.163.com' SERVER_EMAIL = '234327894-cold@163.com' # EMAIL_HOST_USER = '234327894-cold@163.com' # EMAIL_HOST_PASSWORD = '234327894123' # Django uses AdminEmailHandler to send an email to the site admins for each log message it receives. Besides Django, we could also use Python’s logging.handlers.SMTPHandler(mailhost, fromaddr, toaddrs, subject, credentials=None, secure=None, timeout=1.0) to do the same. For example, put the following code in views.py (do change to your account), it will email reporting unhandled exceptions and results in an internal server error (HTTP status code 500). import logging logging.basicConfig(format='%(asctime)s %(message)s...