Rang666 最近的时间轴更新
Rang666

Rang666

V2EX 第 594646 号会员,加入于 2022-09-18 13:28:00 +08:00
Rang666 最近回复了
19 小时 28 分钟前
回复了 YVAN7123 创建的主题 问与答 有没有日常维生素补充的推荐?
双心 A-Z ,不到四欧四十片
@huzhikuizainali U 是根据上面推出来存在这么一个区间是有界的,但是 U 在 ab 里面,假设是 an bn ,你不能保证[an bn]/U 是有界的,就还没达成矛盾,但是如果有这么一个[am bm]在 U 里面,然后根据构建[am bm]是无界的,但是 U 又是有界的,就达成矛盾了
@huzhikuizainali 筛选掉的不一定是有界的,至少有一个是无界的(证明第 4 行)

U 是有界的不能证明 U 外面就是无界或有界的,只能证明 U 内部肯定是有界的,所以必须要有一个更小的区间在 U 里面达成矛盾,前面的证明只是说有这么一个 U 存在,但是不能说明 ab 能精确到 U 内部,所以要构建出来能达到 U 内部的

U 覆盖到 0 那块是说你在 1/x 那个,U 永远有界,但是要在连续的闭区间内,0 不可能在 U 里面,你那个开区间就有可能是无界的,因为不连续了或者没定义了,没法说 U(0,delta)是有界的
你这只是证了 u 在 ab 区间内,不代表有一个更小的 ab 区间能嵌在 u 内,还有就是你能证明无限多个 u 一定能覆盖住最大的 ab 区间吗

对你后面给的那个你 u 有界也没法覆盖到 0 不是
才意识到 mixexplorer 似乎可以
用 tasker 跑,安卓还真没想到有啥批量重命名的
9 天前
回复了 bwijn 创建的主题 Python scrapy 的 item 队列把内存挤爆
内存不够就放硬盘存着?
我买 pixel 送的一年,感觉不如 GPT ,主要是上下文不连贯,经常一个对话不会看上面的回答,必须要我自己给指示才行,GPT 没这个问题,别的日常差不多够用了
81 天前
回复了 good1uck 创建的主题 推广 [推广]软考刷题神器,想软考的朋友有福了
想起来当年软考用的酷安上的 老子软考,现在应该是没了
146 天前
回复了 miaeLKK 创建的主题 App Store 求推荐闹钟 app
sleep as Android
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   5693 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 13ms · UTC 03:23 · PVG 11:23 · LAX 19:23 · JFK 22:23
Developed with CodeLauncher
♥ Do have faith in what you're doing.