4桁で一番大きい素数の出し方の式を教えてください。