＞＞２２

indutionで定義することができます。