k ; * * ot fk c0 /2