Let f:X -> Y be a morphism of schemes over a field k. Can one check that f is formally smooth using only Artin rings of the form k'[t]/t^n, where k' is also a field?

Considering cuspidal curves one can show that you do at least need arbitrarily large n.