>>604
＞n＋1≡n , n＋2≡n●n , n＋3≡n●n●n , n＋4≡n●n●n●n , …以下同様
＞このような関係を満たすことができる●を定義できるというならまずそれを示してほしい

無理じゃね？
まず最初の式がどうやっても満たされないから