koteitan is a user on googoldon.net. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
koteitan @koteitan

Pの定義 $j_0 := \min \{j \in \mathbb{N} \mid 0 < j \leq j_1 \wedge (0,j) \leq_M (0,j_1)\}$と置く[5]