求函数 f(x) = 5cosx - cos5x 在区间 [0, π/4] 的最大值. (2) 给定 θ ∈ (0, π) 和 a ∈ R, 证明: 存在 y ∈ [a - θ, a + θ], 使得 cos y ≤ cos θ. (3) 设 b ∈ R, 若存在 φ ∈ R 使得 5cosx - cos(5x + φ) ≤ b 对 x ∈ R 恒成立, 求 b 的最小值.

视频信息