mathlas

请用 mathlas 搜索与“素数间隔上界”相关的定理，按相关性列出结果，并简述每条定理的核心结论与适用条件。

返回相关定理列表，包含简要结论、条件说明与匹配原因。

请用 mathlas 判断数值 1.2020569 可能对应的数学常数，使用 PSLQ 或相关方法给出候选表达式，并说明置信依据。

给出候选常数名称或表达式，并附上识别方法与可信度说明。

请用 mathlas 检查这个命题是否能通过 Lean 内核验证：若 f 在闭区间上连续，则 f 有界。请输出验证结果、所需前提和可能缺失之处。

返回形式化校验结果，并指出成立所需前提、缺失条件或验证失败原因。