七夕特供习题,证明无限拖延的表白=怂 若存在一个确定的时刻t，使得不管要求时间误差多小（任意正实数M），总能找到足够多的设想次数N，当设想次数超过N之后，男生每一次设想的表白时刻，和t的差距都小于M分钟。就称这个男生勇敢表白，t就是他的脱单时刻。反之找不到这样的t，就称这个男生怂。 如果存在一个时刻t，男生所有次设想的表白时刻都早于t，永远不会把表白拖到t之后，就称该男生想脱单。 只要男生是真的勇敢表白，那他一定是想脱单的，嘴上再怎么说不想谈，行动趋势骗不了人。 同一次追求里，勇敢表白的男生最终只会有一个确定的脱单时刻，不可能同时在两个不同的时间点脱单。 男生中途有几次临时改主意、把表白时间往后推，只要只是有限次动摇，不会改变他最终“勇敢表白”还是“怂”的本质，也不会改变最终的脱单时刻。 如果男生设想的表白时间一次比一次早，并且不可能穿越回无限早的过去，那他最终一定会勇敢表白，不可能一直怂下去。 三个男生同时追人，甲每次设想的表白时刻都比男主早，乙每次都比男主晚；如果甲和乙最终在同一个时刻勇敢表白，那男主必然也会在同一个时刻勇敢表白。 不用等确定的脱单时刻出现，只要男生设想的次数足够多之后，任意两次设想的表白时间差距都能任意小，就说明他内心已经笃定，最终一定会勇敢表白；反之越往后想，前后想法差得越远，本质就是怂。 不管说出多远的未来日期，只要男生设想的次数足够多，他就能把表白时刻拖到比那个日期还晚，无限往后拖延，永远不会有确定的脱单时刻，称为无限怂。 男生无数次设想表白时刻的过程中，任意挑出其中无限次想法来看，每组想法都会各自趋近一个确定时刻。所有这些能趋近的时刻里：- 最晚的那个叫拖延峰值：是他拖延程度的顶峰，再怎么反复横跳、往后推脱，最终也拖不过这个时刻；- 最早的那个叫勇敢峰值：是他勇敢程度的顶峰，再怎么上头冲动、想立刻行动，最终也早不过这个时刻。 只有当拖延峰值和勇敢峰值完全重合时，他所有的想法才会最终收束到同一个时刻，才算真正的勇敢表白；只要两者不相等，就说明他一直在 “想冲” 和 “怕了” 两个状态间反复摇摆，本质还是怂。一个男生每天早上都设想：我明天早上一定表白。证明：这个男生怂
夜雨聆风