小蓝特别喜欢调和级数 S(n) = 1/1 + 1/2 + 1/3 + 1/4 + ... + 1/n

请问，n至少为多大时，S(n) > 12?

结果直接输出