A lower bound on Gowers' FIN_k theorem - Alexander P. Kreuzer (2015)