[math-fun] Brother Broussard type question:

What is the least x>0 for which f(x):=prod(cos(x/n),n,1,inf) has a triple root? Putnam(?) version: what is the least c>0 for which lim c^x f(x) does not exist? x->oo --rwg Cowabunga Shredhead! (INCONSIDERATE CINOSTERNIDAE)