HTC One M9是宏达电子公司于2015年3月1日发布的手机产品。HTC One M9屏幕采用5英寸Super LCD3屏幕;高度约144.6毫米,宽度约69.7毫米,厚度约9.61毫米,重量约157克。配有乌金灰、金银汇、金尚金三种颜色。HTC One M9搭载高通骁龙810(MSM8994)八核处理器,后置为2000万像素摄像头,前置为400万像素摄像头,支持自动对焦。搭载2840毫安时容量电池。
拉姆齐理论是以英国数学家和哲学家弗兰克·P·拉姆齐(Frank P. Ramsey)的名字命名的,是数学的一个分支,致力于研究必须出现阶数的条件。 拉姆齐理论中的问题通常会问一个形式的问题:“某种结构中必须有多少个元素才能保证特定的财产能够持有”。1930年弗兰克·普伦普顿·拉姆齐在论文On a Problem in Formal Logic (《形式逻辑上的一个问题》)证明了R(3,3)=6。