When k is increased beyond 3, the learnability starts to slowly but gradually decline again, which makes sense: The more context has to be identical for two states to be considered for merging, the harder it becomes to satisfy this criterion; insufficient state-merging then logically leads to a failure to (re)construct a suitably parsimonious grammar.
merging with k ≥ 3 leads to too strict merging criteria.