Discord.pyでユーザーidからユーザー名を取得したい

Question

前提・実現したいこと

Discord.pyというPythonライブラリを使ってユーザーIDからユーザーの名前を取得したいのですが、なにか方法はありますか？
(teratailで質問するのは初めてなので、足りない情報があれば言っていただきたいです)

補足情報（FW/ツールのバージョンなど）

Python3.9
Discord.py

Answer 1

リファレンスに乗っています。

取得したいユーザーとの共通のサーバーがある場合

intents = discord.Intents.default()
intents.members = True 

client = discord.Client(intents=intents)

# ==========
# client.runしたあとに下のコードを実行：
user = client.get_user(ユーザーID)
print(user.name, user.discriminator, str(user))

共通のサーバーがない またはあるかわからない場合

user = await client.fetch_user(ユーザーID)
print(user.name, user.discriminator, str(user))

Comments

[Jizo_kasanashi]

リファレンス、しっかり読んでいませんでした。
ご回答ありがとうございます！